LmeSzinc cd0204f455 Opt: Better tips when having wrong configs

2021-12-31 01:34:01 +08:00

..

argument

Upd: [TW] Inverted Orthant

2021-12-30 20:40:15 +08:00

i18n

Upd: [TW] Inverted Orthant

2021-12-30 20:40:15 +08:00

config_generated.py

fix: merge func TryRestart into HandleError

2021-12-17 19:15:45 +08:00

config_manual.py

Add: Another OS_EXPLORE_FILTER

2021-12-30 11:58:26 +08:00

config_updater.py

Dev: Uniform comments of generated files

2021-12-07 23:29:33 +08:00

config.py

Opt: Better tips when having wrong configs

2021-12-31 01:34:01 +08:00

server.py

…

utils.py

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

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