diff --git a/start.sh b/start.sh index da50c742626a49bffd35bed93cdb84ca482ac985..46017bd71e1bbdb16fca73b4075bd58edaf53634 100755 --- a/start.sh +++ b/start.sh @@ -13,6 +13,8 @@ node deadlock/recorder.js & #set -T #shopt -s extdebug +deluser theia sudo + su theia --command "python setup_trace.py" # starting theia as THEIA