diff options
| author | Patrick Simianer <p@simianer.de> | 2016-06-14 13:15:10 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2016-06-14 13:15:10 +0200 |
| commit | 1a51b3797d4c3a846e47b105a5edcb8283726651 (patch) | |
| tree | b30146cb3165a49d35b05a8e11c133b98ff7a597 /util | |
| parent | 8aff80ee4f5a3cb3627e88b95a32921e7e8d7f84 (diff) | |
submit name, some fixes
Diffstat (limited to 'util')
| -rwxr-xr-x | util/run_all | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/run_all b/util/run_all index 801d553..ef3386a 100755 --- a/util/run_all +++ b/util/run_all @@ -4,5 +4,6 @@ for i in `cat ../sessions/sessions | cut -f 1`; do echo $i ./util/run_server $i & + sleep 15 done |