examples: setsid is now built into htparser.

diff --git a/examples/python/dynhosts/dynhosts b/examples/python/dynhosts/dynhosts
index 9a69a70..0e10b73 100755 (executable)
--- a/examples/python/dynhosts/dynhosts
+++ b/examples/python/dynhosts/dynhosts
@@ -20,6 +20,6 @@ def serve(req):
                 children[dname] = util.pchild(["dirplex", path], autorespawn = True)
             children[dname].passreq(req)
             return
-    util.respond(req, "No such host in configured.\n", status = "404 Not Found", ctype = "text/plain")
+    util.respond(req, "No such host is configured.\n", status = "404 Not Found", ctype = "text/plain")
 
 util.serveloop(serve)

diff --git a/examples/python/dynhosts/run b/examples/python/dynhosts/run
index d4203ea..07f6673 100755 (executable)
--- a/examples/python/dynhosts/run
+++ b/examples/python/dynhosts/run
@@ -4,9 +4,5 @@
 set -e
 cd "$(dirname "$0")"
 
-# Start htparser running this dynhosts script. The setsid command
-# ensures that SIGINT is only received by htparser and not by
-# dynhosts; it is not of grave importance, but makes shutdown slightly
-# more clean, and hides the KeyboardInterrupt otherwise raised by
-# Python.
-htparser plain:port=8080 -- setsid ./dynhosts .
+# Start htparser running this dynhosts script.
+htparser plain:port=8080 -- ./dynhosts .

diff --git a/examples/python/wsgidir/run b/examples/python/wsgidir/run
index 5dbe5d2..8931d4c 100755 (executable)
--- a/examples/python/wsgidir/run
+++ b/examples/python/wsgidir/run
@@ -7,9 +7,4 @@ cd "$(dirname "$0")"
 # Invoke dirplex running in this directory, loading the wsgidir.rc
 # configuration file. The same configuration can be put in
 # e.g. /etc/ashd/dirplex.d or in any .htrc file.
-
-# The setsid command ensures that SIGINT is only received by htparser
-# and not by dirplex or its children; it is not of any importance, but
-# makes shutdown slightly cleaner, and hides the KeyboardInterrupt
-# otherwise raised by Python.
-htparser plain:port=8080 -- setsid dirplex -c ./wsgidir.rc .
+htparser plain:port=8080 -- dirplex -c ./wsgidir.rc .