| Commit message (Collapse) | Author | Files | Lines |
|---|
|
|
|
|
|
This should hopefully be the final (major) part of the restructuring: a
tracker no longer has to know which trip it is on (and indeed it has no
idea for now), instead the server keeps state about which trips are
currently running and will insert incoming pings in a hopefully
reasonable manner, based on their geoposition & time.
There's lots of associated TODO items here (especially there should be
manual overrides for all this logic in the web ui), but that's work for
a future me.
(incidentally, this also adds support for sending all log messages out
via ntfy-sh)
|
|
|
|
now mostly independent of the gtfs, but still no live-reloading of it.
|
|
this is mostly meant to guard against the gtfs changing under
tracktrain, and not yet complete (e.g. a ticket does not yet save its
expected stops, which it probably should).
|
|
jumps to GHC2021 as default language, adds in some fields, moves the old
org mode glossary to markdown, etc.
|
|
I do not really like either option, but at least the second one seems
more likely to be maintained (and a little less clunky to use, too, for
what it's worth).
|
|
|
|
|
|
|
|
this makes the nix builds /much/ nicer
|
|
this is unfortunately uffd-specific, since oauth2 is apparently sort of
a vague standard. But since it doesn't actually do much it should
probably be possible to make it fully configurable & generic if needed.
|
|
(what was that about doing the realtime stuff somewhere else and /not/
in this monolithic server thingie? oh well …)
|
|
|
|
since the ids really should be internal to the gtfs, and not needed in
"normal" contexts.
|
|
|
|
|
|
|
|
|
|
|
|
works kinda well, but doesn't complain about unknown config values in
json, which is kinda hmpf tbh
|
|
most of it deals with timezones, and all the weird implications that has
|
|
(also some database schema changes, for good measure)
|
|
|
|
|
|
still basic, but works pretty well overall
|
|
aka use something meant for webapps to write the webapp
|
|
|
|
(it can do useful stuff! but it also still breaks on some things!)
|
|
tbh i've kinda lost track at what has all been changed in this, but the
control room form handling now works, and i can write announcements into
the database. Now on to making it do useful things!
|
|
this does some GHC generics witchery, now in its own module!
|
|
just causes pain and isn't really useful for anything since it's a
webform API meant to be used by the web frontend, not by other
applications.
|
|
this automatically derives lucid html versions of ADTs which are
hopefully compatible with the FormUrlEncoded type class
|
|
|
