08e80a6 Don't try to conditionally stop the server - it doesn't seem to work

1 file Authored by rmeggins 15 years ago, Committed by rcritten 15 years ago,
    Don't try to conditionally stop the server - it doesn't seem to work
    
    Just call stop() - if it's not already running, no big deal