]> matita.cs.unibo.it Git - helm.git/commit
1) New syntax: methods add, reload and remove can now process multiple
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Nov 2001 18:34:48 +0000 (18:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Nov 2001 18:34:48 +0000 (18:34 +0000)
commite3d391b71f59528bd657f6a731c9250ea1d14334
treea28fb235301d1d3e5f32a57198262aa2fd0a6f39
parentb891e0efda6c3407d3dc861af1315a3f1309cd26
1) New syntax: methods add, reload and remove can now process multiple
   entries with just one method invocation. NO BACKWARD COMPATIBILITY RETAINED.
2) Serialization and deserialization: when serialization is enabled, every
   time a stylesheet is recompiled it is also serialized on disk. When
   booting, UWOBO automatically reloads every serialized stylesheet.
3) More verbosity: every method gives back to the user and writes in the log
   much more information than before.
4) Methods update and updateAll (whose semantic was unclear) definitely removed.
helm/uwobo/build.xml
helm/uwobo/src/it/unibo/cs/helm/uwobo/Server.java
helm/uwobo/src/it/unibo/cs/helm/uwobo/Servlet.java
helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt