Add exec to startup script

Removes an extra process. See #1388.
2020-03-06 10:31:16 -06:00 · 2020-03-06 10:31:16 -06:00 · c8269fb54d
commit c8269fb54d
parent 0b9a478289
1 changed files with 1 additions and 1 deletions
--- a/ci/code-server.sh
+++ b/ci/code-server.sh
@ -3,4 +3,4 @@
 dir="$(dirname "$(readlink -f "$0" || realpath "$0")")"
-"$dir/node" "$dir/out/node/entry.js" "$@"
+exec "$dir/node" "$dir/out/node/entry.js" "$@"
`@ -3,4 +3,4 @@`

	`dir="$(dirname "$(readlink -f "$0" \|\| realpath "$0")")"`	`dir="$(dirname "$(readlink -f "$0" \|\| realpath "$0")")"`

	`"$dir/node" "$dir/out/node/entry.js" "$@"`	`exec "$dir/node" "$dir/out/node/entry.js" "$@"`