From 1b924030455a4a9d471e7985b5af34be5c45beec Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Thu, 1 Dec 2011 17:59:35 +0100 Subject: [PATCH] Synchronized with Nino --- contrib/library/server/nino | 2 +- library/server/ewsgi/connectors/nino/src/wgi_nino_handler.e | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/contrib/library/server/nino b/contrib/library/server/nino index 800815c8..59505ccd 160000 --- a/contrib/library/server/nino +++ b/contrib/library/server/nino @@ -1 +1 @@ -Subproject commit 800815c8dd216b3b3a09df2e33b7d6ab7db0750e +Subproject commit 59505ccdc45fc17c67b9f911b428516364ed7930 diff --git a/library/server/ewsgi/connectors/nino/src/wgi_nino_handler.e b/library/server/ewsgi/connectors/nino/src/wgi_nino_handler.e index 3a5fe1df..b3d0b30e 100644 --- a/library/server/ewsgi/connectors/nino/src/wgi_nino_handler.e +++ b/library/server/ewsgi/connectors/nino/src/wgi_nino_handler.e @@ -19,11 +19,11 @@ create feature {NONE} -- Initialization - make_with_callback (a_main_server: like main_server; a_callback: like callback) + make_with_callback (a_server: like server; a_callback: like callback) -- Initialize `Current'. do base := a_callback.base - make (a_main_server) + make (a_server) callback := a_callback end