blob: 2363d42858abb7bf0cdb8b5ad073f4a70eb36feb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#!/bin/sh
# Simple script for starting the HTTP server in debug mode
# on some apropriate port.
# Only built for development use.
find_port() {
for p in "$@"; do
echo 2>/dev/null >/dev/tcp/localhost/$p
if [ $? -eq 1 ]; then
echo $p
return
fi
done
echo "No port available"
exit 1
}
port=`find_port {8080..9000}`
echo "Starting on $port"
$(dirname $(realpath $0))/main \
--repl=$XDG_RUNTIME_DIR/calp \
--debug \
--edit-mode \
server \
--port "$port" \
--sigusr
|
