Skip to content

Commit 8cfc7d0

Browse files
committed
Fix run scripts
1 parent 0b13146 commit 8cfc7d0

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

docker/action-scripts/install-dependencies-for-docker-image-without-utbot.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ set -e
66
sudo apt update && sudo apt install -y build-essential cmake
77

88
# install clang
9-
sudo apt update && sudo apt -y install clang-10
9+
sudo apt update && sudo apt -y install clang-14
1010

1111
#install git for gtest
1212
sudo apt install -y software-properties-common

docker/release_distribution_scripts/utbot_run_system.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -114,7 +114,7 @@ then
114114

115115
#Server-specific parameters
116116
UTBOT_EXECUTABLE_PATH=$UTBOT_BINARIES_FOLDER/$UTBOT_PROCESS_PATTERN
117-
UTBOT_SERVER_OPTIONS="server --port $UTBOT_PORT --log=$UTBOT_LOGS_FOLDER"
117+
UTBOT_SERVER_OPTIONS="--log=$UTBOT_LOGS_FOLDER server --port $UTBOT_PORT"
118118
UTBOT_STDOUT_LOG_FILE=$UTBOT_LOGS_FOLDER/logs/"latest.log"
119119

120120
log "Starting a new server process; logs are written into [$UTBOT_LOGS_FOLDER] folder"

docker/release_distribution_scripts/utbot_server_restart.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ fi
1111

1212
#Prompt kill all running UTBot servers with same port
1313
IFS=";"
14-
RUNNING=$( ps aux | grep "utbot server" | grep -v grep | grep "\-\-port $UTBOT_PORT" )
14+
RUNNING=$( ps aux | grep "utbot .*server" | grep -v grep | grep "\-\-port $UTBOT_PORT" )
1515

1616
if test -n "$RUNNING"
1717
then

0 commit comments

Comments
 (0)