use separate ports

This commit is contained in:
Simon Cruanes 2022-01-04 00:30:20 -05:00
parent 3d8e9b0bba
commit 5b00189e14
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6

View file

@ -1,7 +1,7 @@
#!/usr/bin/env sh
SERVER=$1
PORT=8084
PORT=8088
"$SERVER" . -p $PORT &
PID=$!