AW: [JBoss-dev] Deploying Dirs to Jetty ...

2002-03-11 Thread Jung , Dr. Christoph
Jan, you are too fast form me to answer (not to speak of the time-zone difference which makes me sleep and dream the sweetest things while your resolve that problem) ;-) Yes I guess the code was that if( ... extractWars || !isDirectory(...)) { Jar.extractblablabla

Re: AW: [JBoss-dev] Deploying Dirs to Jetty ...

2002-03-11 Thread Jan Bartel
Christoph, I checked in the fix to JBoss today, so next time you refresh your tree you should pick it up. Tschüss! Jan you are too fast form me to answer (not to speak of the time-zone difference which makes me sleep and dream the sweetest things while your resolve that problem) ;-) Yes