comparison shterm.js @ 200:a7cc38a0168d

Actually restart RLGWebD if it crashes. Also, rlgwebd-stop will no longer crash if RLGWebD has already stopped.
author John "Elwin" Edwards
date Sat, 23 Apr 2016 18:53:08 -0400
parents c4a32007d2dc
children
comparison
equal deleted inserted replaced
199:34e1bc4fd6b2 200:a7cc38a0168d