Robert Hönig a93c0b8f15 Terminate run.py without throwing tracebacks. ... Pressing control-c while run.py is being executed has terminated the script, but threw an ugly traceback. To signal the user that his method of exit was appropriate, we handle control-c calling exit(0).		2017-01-11 15:25:20 -08:00
..
lib	Improved 'readme.md' file in contrib_bots/lib	2017-01-10 07:03:57 -08:00
run.py	Terminate run.py without throwing tracebacks.	2017-01-11 15:25:20 -08:00