Hi jBoss,
CA> Greetings,
CA> Here is another version of the Linux jboss init script.
CA> Thanks to Michael Drew, Toby Allsopp, and Tom Cook for their help.
CA> If this seems okay, I'll send it on to the jboss-dev list.
CA> 1. First some suggested options to run.sh.
CA> I have left all logging to jboss, though I am a bit
CA> frustrated that the jboss log is not time-stamped. I'll
CA> add this as a wish-list when I post to jboss-dev.
But you know the way to put date and time into the log ? It is
described in the manual under "Logging".
so long
Ingo Bruell
---
<[EMAIL PROTECTED]>
<[EMAIL PROTECTED]>
<ICQ# 40377720>
Oldenburg PGP-Fingerprint: CB01 AE12 B359 87C4 BF1C 953C 8FE7 C648 169E E5FC
Germany PGP-Public-Key available at pgpkeys.mit.edu
--
--------------------------------------------------------------
To subscribe: [EMAIL PROTECTED]
To unsubscribe: [EMAIL PROTECTED]
List Help?: [EMAIL PROTECTED]
