Changes between Version 18 and Version 19 of WikiStart

Timestamp:

03/11/19 12:56:38 (6 years ago)

Author:

wouter

Comment:

--

WikiStart

@@ -22 +22 @@
 Example parties can be found in [https://tracinsy.ewi.tudelft.nl/trac/Genius2/browser/exampleparties/ genius core repo: example parties]. 
 
-To deploy a party, the party jar file (with dependencies) is simply copied into the the {{{tomcat/webapps/partiesserver/partiesrepo}}} directory. This directory is created by tomcat when started, and is an unzipped version of the war file that you copied there for installation.
+To deploy a party, the party jar file (with dependencies) is simply copied into the the {{{tomcat/webapps/partiesserver/partiesrepo}}} directory. This directory is created by tomcat when started.
 
 To remove or rename a party, you can simply remove or rename the jar file.