diff options
Diffstat (limited to 'docker/crupest-debian-dev/bootstrap')
| -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 | 
