Changeset 15108


Ignore:
Timestamp:
Mar 18, 2013, 4:41:12 PM (7 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.