From ee8286ac13dd8a70127c060018431caf16f95bc5 Mon Sep 17 00:00:00 2001
From: Pascal Christoph <christoph@hbz-nrw.de>
Date: Tue, 11 Jun 2024 09:58:12 +0200
Subject: [PATCH] Don't build , just kill

Let the monit_restart.sh do the job so that there is no
race condition (both scripts may be executed at the same
time by monit).

Reverts 21b6e28e8075c50d55fd0c5953257c9d842cfcf2 and
1fc9edc45336f0356141b729d30ba7498e6c6f81.
---
 web/restart.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/web/restart.sh b/web/restart.sh
index 36bbcaae2..b17b8115c 100755
--- a/web/restart.sh
+++ b/web/restart.sh
@@ -23,10 +23,6 @@ REPO=$1
 HOME="/home/sol"
 PID_FILE="target/universal/stage/RUNNING_PID"
 
-export JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64/
-
-cd $HOME/git/$REPO/
-mvn clean install -DskipTests=true
 cd $HOME/git/$REPO/web
 
 if [ ! -f $PID_FILE ]; then