I created a script to kill a specific Windows process which I know is running from Windows Task Manager, but it doesn't seem to work and the return from kill is 0:
<kill 3824>
Here's my version info:
Commercial Version 5.01.1258488718 20091117 (i686-intel-winnt-64-32)
The default signal for <kill> is SIGTERM (soft-terminate). Since Windows does not have signals, this is mapped to a custom Texis terminate event, which only works with Texis processes (but is soft, letting Vortex scripts issue a terminate message and helping avoid potential DB corruption): if the target PID is a non-Texis process, the event is silently ignored.
If <kill $pid> does not terminate the process (after waiting a few seconds), use SIGINT or SIGKILL, which are mapped to Ctrl-Break (for console processes) and hard-kill (for all processes). Just as with Unix processes, it is best to try a soft-kill (SIGTERM) first and wait, before trying a hard-kill, to help avoid corruption.
