diff options
| author | Patrick Simianer <p@simianer.de> | 2016-07-18 15:39:33 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2016-07-18 15:39:33 +0200 |
| commit | 68fbe2a717f07cda33aa57668d01d8190dae9ede (patch) | |
| tree | e0dff0824b270ae0fa2ac3bf7a96e8a271013b87 /util/run_all | |
| parent | dcc5f06c86e4a8975ec52062bf66ae252c90cbea (diff) | |
util/run_all: faster startup
Diffstat (limited to 'util/run_all')
| -rwxr-xr-x | util/run_all | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/run_all b/util/run_all index a873e63..e82ced9 100755 --- a/util/run_all +++ b/util/run_all @@ -4,6 +4,6 @@ for i in `cat ../sessions/sessions | cut -f 1`; do echo $i ./util/run_session $i & - sleep 60 + sleep 10 done |