1 files changed, 0 insertions, 67 deletions
diff --git a/boot-proxy-exc/exc_impl.c~ b/boot-proxy-exc/exc_impl.c~
deleted file mode 100644
index a99a7e3c..00000000
--- a/boot-proxy-exc/exc_impl.c~
+++ /dev/null
@@ -1,67 +0,0 @@
-/* 
-   Copyright (C) 2009 Free Software Foundation, Inc.
-   Written by Zheng Da.
-
-   This file is part of the GNU Hurd.
-
-   The GNU Hurd is free software; you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
-   any later version.
-
-   The GNU Hurd is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-   GNU General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with the GNU Hurd; see the file COPYING.  If not, write to
-   the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
-
-/* This file implements the server-side RPC functions of mach_host. */
-
-#include <mach.h>
-#include <hurd.h>
-#include <assert.h>
-
-#include "util.h"
-#include "mach_proxy.h"
-
-kern_return_t
-catch_exception_raise (mach_port_t exception_port, mach_port_t thread,
-		       mach_port_t task, integer_t exception,
-		       integer_t code, integer_t subcode)
-{
-  error_t err;
-  struct task_info *fault_task_pi = NULL;
-  debug ("");
-
-  int match_task (struct task_info *task_pi)
-    {
-      if (task_pi->task_port == task)
-	{
-	  fault_task_pi = task_pi;
-	  ports_port_ref (fault_task_pi);
-	  return 1;
-	}
-      return 0;
-    }
-  foreach_task (match_task);
-  
-  if (fault_task_pi == NULL)
-    {
-      fault_task_pi = ports_lookup_port (port_bucket, task, task_portclass);
-    }
-
-  if (fault_task_pi == NULL)
-    {
-      info ("cannot find the task: %d", task);
-      return EINVAL;
-    }
-
-  err = catch_exception_raise (fault_task_pi->user_exc_port,
-			       thread, fault_task_pi->task.port_right,
-			       exception, code, subcode);
-  ports_port_deref (fault_task_pi);
-  return err;
-}