Changeset 15108


Ignore:
Timestamp:
03/18/13 16:41:12 (12 years ago)
Author:
tbretz
Message:
Increased waiting time for the servers to come up to 10s
File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/FACT++/recompile.sh

    r15092 r15108  
    1616fi
    1717
    18 make $* && rm compiling.lock && sleep 5 && dimctrl --quit --cmd '.js scripts/check.js'
     18make $* && rm compiling.lock && sleep 10 && dimctrl --quit --cmd '.js scripts/check.js'
Note: See TracChangeset for help on using the changeset viewer.