Re: GUI classes, and a config file problem

2001-04-11 Thread John Raley
Doh! John Raley wrote: > Hi Susan, > > To patch the webgui, do this: > > 1) remove the tomcat/webapps/ROOT/WEB-INF/classes directory > 2) copy the file 'classes.jar' from gate into > tomcat/webapps/ROOT/WEB-INF/. > 3) run $JAVA_HOME/bin/jar -xf classes.jar (this will replace your old > classes d

GUI classes, and a config file problem

2001-04-11 Thread John Raley
Hi Susan, To patch the webgui, do this: 1) remove the tomcat/webapps/ROOT/WEB-INF/classes directory 2) copy the file 'classes.jar' from gate into tomcat/webapps/ROOT/WEB-INF/. 3) run $JAVA_HOME/bin/jar -xf classes.jar (this will replace your old classes dir) 4) restart the webgui - check the log