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 run sp --filter=myfilter and want to stop the publisher by pressing ctrl-c on the command line. I get an error that the process is already killed and the result is that sdluatex keeps on running in the background.
The text was updated successfully, but these errors were encountered:
I run
sp --filter=myfilter
and want to stop the publisher by pressingctrl-c
on the command line. I get an error that the process is already killed and the result is thatsdluatex
keeps on running in the background.The text was updated successfully, but these errors were encountered: