From 72f471f42d7825b9ef370fb5a64acbd155d9140e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 27 Nov 2014 11:00:46 +0100
Subject: AsyncTaskQueue: parsin can also happen in the workers now

---
 stm/asyncTaskQueue.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'stm/asyncTaskQueue.mli')

diff --git a/stm/asyncTaskQueue.mli b/stm/asyncTaskQueue.mli
index 172e1035ec..ee364ff19c 100644
--- a/stm/asyncTaskQueue.mli
+++ b/stm/asyncTaskQueue.mli
@@ -29,8 +29,7 @@ module type Task = sig
   val on_marshal_error : string -> task -> unit
   val on_slave_death : task option -> [ `Exit of int | `Stay ]
   val on_task_cancellation_or_expiration : task option -> unit
-  val forward_feedback :
-    Stateid.t -> Feedback.route_id -> Feedback.feedback_content -> unit
+  val forward_feedback : Feedback.feedback -> unit
  
   (* run by the worker *)
   val perform : request -> response
-- 
cgit v1.2.3