aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorRoberto Vidal <[email protected]>2019-04-16 21:06:27 +0100
committerRoberto Vidal <[email protected]>2019-04-16 21:07:33 +0100
commit3bdd6973d176abe833477e4dfea9b268af57a99e (patch)
treed89e218f40f46c5edaf51132b11960e988637bde /editors
parent12f28f6276bbf1d1a19a553c7352bcb974361247 (diff)
Fixes unrelated process termination quirk
Diffstat (limited to 'editors')
-rwxr-xr-x[-rw-r--r--]editors/code/src/utils/terminateProcess.sh0
1 files changed, 0 insertions, 0 deletions
diff --git a/editors/code/src/utils/terminateProcess.sh b/editors/code/src/utils/terminateProcess.sh
index 2ec9e1c2e..2ec9e1c2e 100644..100755
--- a/editors/code/src/utils/terminateProcess.sh
+++ b/editors/code/src/utils/terminateProcess.sh