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)
