]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - JOURNAL
JOURNAL updated to new repository layout and new version
[logicplayer.git] / JOURNAL
diff --git a/JOURNAL b/JOURNAL
index 971421203e3d2aa11f0295850b5099df72811bdf..98c963ade09a02cb7c5b77389ab262cc27d5b001 100644 (file)
--- a/JOURNAL
+++ b/JOURNAL
 - xmlPharse.php: ~claudio/tesi_applet/Server/server/tesi/src/com/company/esercizi.xml
 
 ### Java server ###
-- vim ~/tesi_applet/Server/server/tesi/src/com/company/global.java
-  editare home, servername, ...
-- cp ~claudio/tesi_applet/Server/java-8-oracle/jre/lib/ext/* /usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/
-  PERCHE' IL CLASSPATH NON FUNZIONA??
-- javac *.java
-- cd /home/claudio/tesi_applet/Server/server/tesi/src
-  java com.company.superServer
+- vim server/src/com/company/global.java
+  editare costanti
+- compilare usando Makefile in server/src/com/company/ e lanciare usando
+  server/go.sh come utente www-data