nEEtdo0d ea0ffd89e2 Fix: apply PR/DR format change to generated config defaults

2022-01-20 07:49:32 -05:00

..

argument

Fix: apply PR/DR format change to generated config defaults

2022-01-20 07:49:32 -05:00

i18n

Add: Maritime escort

2022-01-15 22:17:34 +08:00

config_generated.py

Fix: default shop filter strings; PRBP --> PR; DRBP --> DR, BP no longer expected

2022-01-19 21:45:23 -05:00

config_manual.py

Add: Maritime escort

2022-01-15 22:17:34 +08:00

config_updater.py

Add: Accept port missions in overview

2022-01-13 18:42:05 +08:00

config.py

Del: reference each item directly; list no longer needed

2022-01-19 21:47:20 -05:00

server.py

Optimize: Reuse device instance in the same function

2020-06-16 08:55:44 +08:00

utils.py

Fix: Stop scheduler if a task failed 3 or more times

2021-11-03 20:46:34 +08:00