| 1 | #!/bin/sh |
| 2 | |
| 3 | # Change to the directory containing this script |
| 4 | set -e |
| 5 | cd "$(dirname "$0")" |
| 6 | |
| 7 | # Invoke dirplex running in this directory, loading the wsgidir.rc |
| 8 | # configuration file. The same configuration can be put in |
| 9 | # e.g. /etc/ashd/dirplex.d or in any .htrc file. |
| 10 | |
| 11 | # The setsid command ensures that SIGINT is only received by htparser |
| 12 | # and not by dirplex or its children; it is not of any importance, but |
| 13 | # makes shutdown slightly cleaner, and hides the KeyboardInterrupt |
| 14 | # otherwise raised by Python. |
| 15 | htparser plain:port=8080 -- setsid dirplex -c ./wsgidir.rc . |