Fixed problems when starting the service. Optimized the starting proc…

…edure.
dice-group · Jan 25, 2024 · b00aaa6 · b00aaa6
1 parent f0d4dd3
commit b00aaa6
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 7 deletions.
diff --git a/pom.xml b/pom.xml
@@ -373,6 +373,11 @@
                     </deployables>
                 </configuration>
             </plugin>
+            <plugin>
+                <groupId>org.apache.maven.plugins</groupId>
+                <artifactId>maven-war-plugin</artifactId>
+                <version>3.4.0</version>
+            </plugin>
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-compiler-plugin</artifactId>
@@ -410,12 +415,6 @@
                     </excludes>
                 </configuration>
             </plugin>
-            <!-- Maven Exec Plugin -->
-            <plugin>
-                <groupId>org.codehaus.mojo</groupId>
-                <artifactId>exec-maven-plugin</artifactId>
-                <version>1.5.0</version>
-            </plugin>
             <!-- Javadoc plugin for generating documentation -->
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>

diff --git a/start.sh b/start.sh
@@ -189,4 +189,4 @@ if [ ! -d "gerbil_data/indexes/dbpedia_check" ]; then
 fi
 
 echo "Building and starting GERBIL..."
-mvn clean package cargo:run
+mvn clean package cargo:run -DskipTests -Dmaven.javadoc.skip=true