search

mthiede / rtext_eclipse_plugin

4 stars 0 forks source link

Terminate backend processes in case Eclipse is killed #11

Closed mthiede closed 11 years ago

mthiede commented 11 years ago

given a running backend process when Eclipse is killed then the backend process should be stopped