Added ctrl-c handler
Cleaned up Reprioritize