Tizian 「ティツィアーン」
19dd4d9c4e
Switching the sidecar on learn.halkyon.eu's server recreated the server beside LanguageTool, whose start takes a minute: the server's first look at the languages failed, and it looked again only an hour later, as after one that worked. Until then instance.info() named no languages, and an app that asked meanwhile keeps that answer, so its editors check nothing until it starts anew. A look LanguageTool doesn't answer is now tried again a minute later, by a timer, until it answers, the languages known before kept meanwhile; one that worked still counts for an hour. The server's tests take fake_async (^1.3.3, as Learn's app, already in the lock) for the timer. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
58 lines
1.8 KiB
YAML
58 lines
1.8 KiB
YAML
name: halkyon_learn_server
|
|
description: Starting point for a Serverpod server.
|
|
# version: 1.0.0
|
|
# homepage: https://www.example.com
|
|
|
|
environment:
|
|
sdk: '^3.13.0'
|
|
|
|
resolution: workspace
|
|
|
|
dependencies:
|
|
clock: ^1.1.3
|
|
crypto: ^3.0.7
|
|
# What every Halkyon server has (ADR 0014): signing in, the account and its
|
|
# deletion, pruning, the instance's basics. A Serverpod module among the
|
|
# repository's shared packages.
|
|
halkyon_base_server:
|
|
path: ../../../packages/halkyon_base_server
|
|
# Reads the pages profile links point to, for their rel="me" back-links.
|
|
html: ^0.15.6
|
|
# Mails email sign-in's codes over SMTP (ADR 0010).
|
|
mailer: ^7.2.0
|
|
serverpod: 4.0.4
|
|
serverpod_auth_idp_server: 4.0.4
|
|
serverpod_offline_sync_server: 0.0.10
|
|
dev_dependencies:
|
|
# Time in tests that wait on timers (looking again for LanguageTool's languages).
|
|
fake_async: ^1.3.3
|
|
serverpod_test: 4.0.4
|
|
test: ^1.25.5
|
|
|
|
serverpod:
|
|
# Companion Flutter apps that `serverpod start` can launch (Ctrl+R), keyed
|
|
# by a display alias. The default device is the web server, opening the
|
|
# machine's default browser when ready. All non-reserved properties are
|
|
# forwarded to `flutter run`. For the best IDE debugging experience, use
|
|
# `chrome` or a native target as the device. See the example below:
|
|
#
|
|
# Admin:
|
|
# path: ../apps/admin_flutter
|
|
# displayName: "Admin app"
|
|
# auto_launch: true
|
|
# device: chrome
|
|
# target: lib/main.dart
|
|
# web-hostname: 0.0.0.0
|
|
# web-port: 8090
|
|
# release: true
|
|
# pub: false
|
|
# dart-define:
|
|
# API_URL=https://admin.example.com
|
|
# FLAVOR=production
|
|
flutter_apps:
|
|
halkyon_learn:
|
|
path: ../halkyon_learn_flutter
|
|
displayName: "Halkyon learn app"
|
|
auto_launch: true
|
|
target: lib/driver.dart
|
|
device: linux
|