use separate ports

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

View file

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