-update priority to shutdown if that is being used
authorChristian Grothoff <christian@grothoff.org>
Wed, 24 Dec 2014 01:45:23 +0000 (01:45 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 24 Dec 2014 01:45:23 +0000 (01:45 +0000)
commit8fc3f747a85b4367b863a57ae9ea96b5b58f2f65
tree1722ecab669c9aa29d53317c2df4f44fe5eedbf8
parent2d4c97b88bcb0858b16dcd0f48ab68f90ecda96d
-update priority to shutdown if that is being used
src/util/scheduler.c