mirror of
https://github.com/discourse/discourse.git
synced 2025-03-21 18:37:56 +08:00
Log pid of launcher script when logging.
This commit is contained in:
parent
77c293f82d
commit
3400624d70
@ -5,39 +5,44 @@
|
|||||||
|
|
||||||
LOCAL_WEB="http://127.0.0.1:3000/"
|
LOCAL_WEB="http://127.0.0.1:3000/"
|
||||||
|
|
||||||
|
function log()
|
||||||
|
{
|
||||||
|
echo "($$) $1"
|
||||||
|
}
|
||||||
|
|
||||||
function on_exit()
|
function on_exit()
|
||||||
{
|
{
|
||||||
kill $UNICORN_PID
|
kill $UNICORN_PID
|
||||||
echo "exiting"
|
log "exiting"
|
||||||
}
|
}
|
||||||
|
|
||||||
function on_reload()
|
function on_reload()
|
||||||
{
|
{
|
||||||
echo "Reloading unicorn"
|
log "Reloading unicorn"
|
||||||
kill -s USR2 $UNICORN_PID
|
kill -s USR2 $UNICORN_PID
|
||||||
unset NEW_UNICORN_PID
|
unset NEW_UNICORN_PID
|
||||||
|
|
||||||
while [ -z "$NEW_UNICORN_PID" ]; do
|
while [ -z "$NEW_UNICORN_PID" ]; do
|
||||||
NEW_UNICORN_PID=`ps -f --ppid $UNICORN_PID | grep 'unicorn master' | grep -v old | grep -v worker | awk '{ print $2 }'`
|
NEW_UNICORN_PID=`ps -f --ppid $UNICORN_PID | grep 'unicorn master' | grep -v old | grep -v worker | awk '{ print $2 }'`
|
||||||
echo "Waiting for new unicorn master pid... $NEW_UNICORN_PID"
|
log "Waiting for new unicorn master pid... $NEW_UNICORN_PID"
|
||||||
sleep 1
|
sleep 1
|
||||||
done
|
done
|
||||||
|
|
||||||
while [ -z `ps -f --ppid $NEW_UNICORN_PID | grep worker | head -1 | awk '{ print $2 }'` ]; do
|
while [ -z `ps -f --ppid $NEW_UNICORN_PID | grep worker | head -1 | awk '{ print $2 }'` ]; do
|
||||||
echo "Waiting for new unicorn workers to start up..."
|
log "Waiting for new unicorn workers under $NEW_UNICORN_PID to start up..."
|
||||||
sleep 1
|
sleep 1
|
||||||
done
|
done
|
||||||
|
|
||||||
curl $LOCAL_WEB &> /dev/null
|
curl $LOCAL_WEB &> /dev/null
|
||||||
kill -s QUIT $UNICORN_PID
|
kill -s QUIT $UNICORN_PID
|
||||||
echo "Old pid is: $UNICORN_PID New pid is: $NEW_UNICORN_PID"
|
log "Old pid is: $UNICORN_PID New pid is: $NEW_UNICORN_PID"
|
||||||
UNICORN_PID=$NEW_UNICORN_PID
|
UNICORN_PID=$NEW_UNICORN_PID
|
||||||
}
|
}
|
||||||
|
|
||||||
function on_reopenlogs()
|
function on_reopenlogs()
|
||||||
{
|
{
|
||||||
|
|
||||||
echo "Reopening logs"
|
log "Reopening logs"
|
||||||
kill -s USR1 $UNICORN_PID
|
kill -s USR1 $UNICORN_PID
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user