From 0294892d1eb20cd14af06bc9d267e3316647e5ef Mon Sep 17 00:00:00 2001 From: Luke Lau Date: Sun, 12 May 2019 19:45:21 +0100 Subject: [PATCH] Fix hie being run if hie-wrapper crashes --- hie-vscode.sh | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/hie-vscode.sh b/hie-vscode.sh index d6760afb..5e7211e8 100755 --- a/hie-vscode.sh +++ b/hie-vscode.sh @@ -4,17 +4,16 @@ export HIE_SERVER_PATH=`which hie` export HIE_WRAPPER_PATH=`which hie-wrapper` if [ ! "X" = "X$HIE_WRAPPER_PATH" ]; then -hie-wrapper $@ + hie-wrapper $@ elif [ "X" = "X$HIE_SERVER_PATH" ]; then echo "Content-Length: 100\r\n\r" echo '{"jsonrpc":"2.0","id":1,"error":{"code":-32099,"message":"Cannot find hie.exe in the path"}}' exit 1 +else + # Run directly + hie $@ fi -# Run directly -hie $@ -#hie --lsp - # Run with a log # hie --lsp -d -l /tmp/hie.log $@ # hie --lsp -d -l /tmp/hie.log --ekg $@