wait a second between stop and start in the restart command. This avoid
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 28 May 2009 08:36:01 +0000 (08:36 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 28 May 2009 08:36:01 +0000 (08:36 +0000)
commit9182020c2b30530bb419946a30e6632d138e9378
tree094e572eda9ba754ce7dd9f09a70c429fb4d54a3
parentf996b205925a7404055df5b69d3624338293a2d9
wait a second between stop and start in the restart command. This avoid
the case when the OS does not give yet the port address free and bind failed:

08:27:51-28/05 pazpar2 [log] Pazpar2 1.1.0 started
08:27:51-28/05 pazpar2 [log] HTTP listener 9005
08:27:51-28/05 pazpar2 [fatal] bind [Address already in use]
08:27:51-28/05 pazpar2 [log] Received SIGTERM from child 14128
src/pazpar2.sh