python: Try to shut ashd-wsgi down more nicely upon signal receipt.
[ashd.git] / src / .gitignore
index 582f3e7..1ecc66e 100644 (file)
@@ -12,3 +12,4 @@
 /errlogger
 /psendfile
 /httimed
+/httrcall