summaryrefslogtreecommitdiffstats
path: root/bin/web
diff options
context:
space:
mode:
Diffstat (limited to 'bin/web')
-rwxr-xr-xbin/web11
1 files changed, 0 insertions, 11 deletions
diff --git a/bin/web b/bin/web
deleted file mode 100755
index f8484c0..0000000
--- a/bin/web
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh
-set -eu
-set -o pipefail
-
-version="$(python -c "import sys; print(sys.version_info[0])")"
-if [ "$version" = "2" ]; then
- server=SimpleHTTPServer
-else
- server=http.server
-fi
-exec python -m "$server" "${1:-8000}"