diff options
| -rw-r--r-- | checker/.gitignore | 1 | ||||
| -rw-r--r-- | checker/src/checker.py | 2 | ||||
| -rwxr-xr-x | service/entrypoint.sh | 4 |
3 files changed, 4 insertions, 3 deletions
diff --git a/checker/.gitignore b/checker/.gitignore index 2a62f4e..2ac7fc5 100644 --- a/checker/.gitignore +++ b/checker/.gitignore @@ -2,3 +2,4 @@ data/ venv/ .data/ fails +.mypy_cache diff --git a/checker/src/checker.py b/checker/src/checker.py index 795aa69..c7975b9 100644 --- a/checker/src/checker.py +++ b/checker/src/checker.py @@ -54,7 +54,7 @@ solid test\xff endsolid test\xff """ -checker = Enochecker("STLDoctor", 9090) +checker = Enochecker("stldoctor", 9090) app = lambda: checker.app diff --git a/service/entrypoint.sh b/service/entrypoint.sh index 94dbea1..614b251 100755 --- a/service/entrypoint.sh +++ b/service/entrypoint.sh @@ -1,11 +1,11 @@ -#!/bin/sh +#!/bin/bash mkdir -p "$RESULTDIR" chown -R service:service "$RESULTDIR" while [ 1 ]; do /cleaner.sh - sleep 400 + sleep $((60*13)) # data persistence for atleast 11 rounds done & CMD="socat -T180 -s TCP-LISTEN:9000,nodelay,reuseaddr,fork EXEC:/service/build/stldoctor,raw,pty,echo=0,stderr" |