From c8269fb54dd77302fb290219e0b4a4439b106a1e Mon Sep 17 00:00:00 2001
From: Asher <ash@coder.com>
Date: Fri, 6 Mar 2020 10:31:16 -0600
Subject: [PATCH] Add exec to startup script

Removes an extra process. See #1388.
---
 ci/code-server.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/code-server.sh b/ci/code-server.sh
index 1cfa1e10..cd76cc16 100755
--- 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" "$@"