Changeset 16477


Ignore:
Timestamp:
05/30/13 10:55:21 (12 years ago)
Author:
tbretz
Message:
Increased waiting time to check for server availablility a bit.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/FACT++/recompile.sh

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