batch
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
batch [2016/10/12 16:53] – [Printers] skipidar | batch [2020/12/27 20:35] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 84: | Line 84: | ||
# delete | # delete | ||
subst z: b: | subst z: b: | ||
- | </ | ||
- | |||
- | |||
- | |||
- | === SCRIPT to spawn a process in Jenkins and monitor log files for text === | ||
- | |||
- | < | ||
- | @echo off | ||
- | |||
- | |||
- | ::start server via a wrapper script, so that Jenkins does not complain about leaking handler https:// | ||
- | set ANTRUN_OUTPUT=" | ||
- | C: | ||
- | |||
- | |||
- | :: wait until it is up and running | ||
- | set serverisRunning="" | ||
- | : | ||
- | if %serverisRunning% == "" | ||
- | echo Waiting for server to start | ||
- | sleep 10 | ||
- | for /f %%i in (' | ||
- | goto : | ||
- | ) | ||
- | time /T | ||
- | echo Server is running now | ||
</ | </ | ||
batch.1476291212.txt.gz · Last modified: (external edit)