Anonymous | Login | 2024-04-19 22:33 CEST |
Main | My View | View Issues |
Viewing Issue Simple Details [ Jump to Notes ] | [ View Advanced ] [ Issue History ] [ Print ] | ||||||
ID | Category | Severity | Reproducibility | Date Submitted | Last Update | ||
0000081 | [jetty] regular use | minor | always | 2003-04-01 07:32 | 2003-08-11 07:00 | ||
Reporter | james | View Status | public | ||||
Assigned To | james | ||||||
Priority | normal | Resolution | fixed | ||||
Status | closed | ||||||
Summary | 0000081: \'/etc/init.d/cswjetty stop\' does not stop | ||||||
Description |
/etc/init.d/cswjetty and the rc scripts call $JETTY_HOME/bin/jetty.sh The default start mode is demo which does not save the PID in $JETTY_PID, so subsequent call of stop fails. When called with action \"start\" the pid is saved (line 478 of jetty.sh) but when called with action \"demo\" as default init.d there is no save (nothing after line 515), so the kill for the stop has no pid (line 485 and 487). Either jetty.sh needs fixing or the init should not use action \"demo\". I think that its good to start in demo mode the frst time so I think the jetty.sh needs fixing. I don\'t know why \"demo\" needs a separate start action, by the switch all its work is done, the case option could be: start|run|demo) and all of the run|demo part removed. |
||||||
Additional Information |
(2nd attempt to file report, first seems to have got lost.) |
||||||
Tags | No tags attached. | ||||||
Attached Files | |||||||
|
Copyright © 2000 - 2008 Mantis Group |