diff options
Diffstat (limited to 'res/docker')
| -rw-r--r-- | res/docker/LICENSE | 2 | ||||
| -rwxr-xr-x | res/docker/instance_run.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/res/docker/LICENSE b/res/docker/LICENSE index 5c767c3..dd08487 100644 --- a/res/docker/LICENSE +++ b/res/docker/LICENSE @@ -470,4 +470,4 @@ understandings, or agreements concerning use of licensed material. For the avoidance of doubt, this paragraph does not form part of the public licenses. -Creative Commons may be contacted at creativecommons.org.
\ No newline at end of file +Creative Commons may be contacted at creativecommons.org. diff --git a/res/docker/instance_run.sh b/res/docker/instance_run.sh index 196edfd..8aac538 100755 --- a/res/docker/instance_run.sh +++ b/res/docker/instance_run.sh @@ -7,4 +7,4 @@ chmod +x run.sh while [ ! -f logs/runtime_res.log ]; do sleep 1 done -tail -F logs/runtime_res.log
\ No newline at end of file +tail -F logs/runtime_res.log |