update

[l4.git] / l4 / pkg / mag / server / src / main.cc

diff --git a/l4/pkg/mag/server/src/main.cc b/l4/pkg/mag/server/src/main.cc
index a42284429cc609f890978ad61c1f6ccbe96b0590..5e119e8c2d428b904be57174f1a03be9c7b10bbc 100644 (file)
--- a/l4/pkg/mag/server/src/main.cc
+++ b/l4/pkg/mag/server/src/main.cc
@@ -77,15 +77,10 @@ private:
   public:
     explicit Del_handler(Object_gc *gc) : gc(gc) {}
 
-    int dispatch(l4_umword_t, L4::Ipc_iostream &s)
+    int dispatch(l4_umword_t, L4::Ipc_iostream &)
     {
-      l4_msgtag_t t;
-      s >> t;
-      if (t.label() != L4_PROTO_IRQ)
-       return -L4_EBADPROTO;
-
       gc->gc_step();
-      return 0;
+      return -L4_ENOREPLY;
     }
   };