diff --git a/src/plugins/server/main.ml b/src/plugins/server/main.ml
index 7528d3552ae67f58ee06e16801a3de297bcf71f6..23f4a1c6e3b3eb7faf99cef9ed0b59acc9bf88f3 100644
--- a/src/plugins/server/main.ml
+++ b/src/plugins/server/main.ml
@@ -333,7 +333,7 @@ let run server =
           if not activity then
             begin
               Unix.sleepf idle_s ;
-              !Db.progress () ;
+              Db.yield () ;
             end
         done ;
       with Sys.Break -> () (* Ctr+C, just leave the loop normally *)
diff --git a/src/plugins/server/server_parameters.ml b/src/plugins/server/server_parameters.ml
index 8ca2d009ce3a7e6d596db64f8e6093337c5c565a..52fef7322717c16fec9c3126dca66daf90b3ee56 100644
--- a/src/plugins/server/server_parameters.ml
+++ b/src/plugins/server/server_parameters.ml
@@ -45,14 +45,6 @@ module Idle = P.Int
       let help = "Server polling (in milliseconds, default 50ms)"
     end)
 
-module Yield = P.Int
-    (struct
-      let option_name = "-server-yield"
-      let arg_name = "ms"
-      let default = 50
-      let help = EXEC yield period (in milliseconds, default 50ms)"
-    end)
-
 module AutoLog = P.False
     (struct
       let option_name = "-server-auto-log"