diff options
| -rwxr-xr-x | docker/crupest-debian-dev/bootstrap/start/code-server.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/crupest-debian-dev/bootstrap/start/code-server.bash b/docker/crupest-debian-dev/bootstrap/start/code-server.bash index b13b77d..7dfc0e9 100755 --- a/docker/crupest-debian-dev/bootstrap/start/code-server.bash +++ b/docker/crupest-debian-dev/bootstrap/start/code-server.bash @@ -6,7 +6,7 @@ CODE_SERVER_PROGRAM=code-server CODE_SERVER_PORT=8080 if which "$CODE_SERVER_PROGRAM" > /dev/null 2>&1; then - if ! pgrep -f "$CODE_SERVER_PROGRAM" > /dev/null 2>&1; then + if ! pgrep -x "$CODE_SERVER_PROGRAM" > /dev/null 2>&1; then echo "code-server is not running, starting..." "$CODE_SERVER_PROGRAM" "--bind-addr" "0.0.0.0:$CODE_SERVER_PORT" else |