From 4f3b67be7f296f7a6865f75e1a96b9271028b9cc Mon Sep 17 00:00:00 2001 From: strawmanbobi Date: Wed, 29 Oct 2025 13:31:27 +0800 Subject: [PATCH] updated private server docker script --- docker-script/start_irext.sh | 24 +++++++++++++++++++----- 1 file changed, 19 insertions(+), 5 deletions(-) mode change 100644 => 100755 docker-script/start_irext.sh diff --git a/docker-script/start_irext.sh b/docker-script/start_irext.sh old mode 100644 new mode 100755 index 8e32a09..edb9ed2 --- a/docker-script/start_irext.sh +++ b/docker-script/start_irext.sh @@ -1,16 +1,30 @@ #!/bin/bash +WORKSPACE=$(dirname "$(realpath '${0}')") source /etc/profile chown mysql:mysql /data/mysql -R chmod 755 /data/mysql -R service mysql restart -sleep 5 service redis-server restart sleep 5 -nohup java -jar /data/irext/private-cloud/server/package/private-server-0.2.5.jar > log.out 2>&1 & -echo "private server started" + +echo "Stopping private-backend" +pkill java +sleep 2 + +echo "Starting private-backend" +nohup java -jar /data/irext/private-cloud/private-backend/package/private-backend-1.5.0.jar > log.out 2>&1 & sleep 5 -cd /data/irext/private-cloud/console + +echo "Stopping private-console" +cd /data/irext/private-cloud/private-console +pkill node + +echo "Starting private-console" +sleep 2 ./startup.sh -echo "private console started" + +cd ${WORKSPACE} + +echo "IRext private server started" /bin/bash