You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I've used monky for ages and just noticed that during "normal use" the cmdserver process will be started and killed every operation. At least, that's what I witness and what the use of unwind-protect around here suggests:
The user can work around this with a manual (setq monky-cmd-process (monky-cmdserver-start)) but that's both awkward and not documented.
Perhaps this was supposed to be condition-case so that the delete-process only happens in error cases? Or perhaps there's supposed to be some other flow in normal use that I don't know about?
The text was updated successfully, but these errors were encountered:
I've used monky for ages and just noticed that during "normal use" the cmdserver process will be started and killed every operation. At least, that's what I witness and what the use of
unwind-protect
around here suggests:monky/monky.el
Lines 603 to 607 in e046322
The user can work around this with a manual
(setq monky-cmd-process (monky-cmdserver-start))
but that's both awkward and not documented.Perhaps this was supposed to be
condition-case
so that thedelete-process
only happens in error cases? Or perhaps there's supposed to be some other flow in normal use that I don't know about?The text was updated successfully, but these errors were encountered: