# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 770502968 0
# Node ID fad00b057e50382f2c678fa417abd7256cb8bb93
# Parent  6c08927dfafcbfc5a875e7125312d760f97ed9e1
(kill_buffer_processes): For net conn, use Fdelete_process.

diff -r 6c08927dfafc -r fad00b057e50 src/process.c
--- a/src/process.c	Wed Jun 01 18:42:30 1994 +0000
+++ b/src/process.c	Wed Jun 01 20:36:08 1994 +0000
@@ -2836,7 +2836,7 @@
 	  && (NILP (buffer) || EQ (XPROCESS (proc)->buffer, buffer)))
 	{
 	  if (NETCONN_P (proc))
-	    deactivate_process (proc);
+	    Fdelete_process (proc);
 	  else if (XINT (XPROCESS (proc)->infd) >= 0)
 	    process_send_signal (proc, SIGHUP, Qnil, 1);
 	}