Synchronized with Nino
This commit is contained in:
Submodule contrib/library/server/nino updated: 800815c8dd...59505ccdc4
@@ -19,11 +19,11 @@ create
|
|||||||
|
|
||||||
feature {NONE} -- Initialization
|
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'.
|
-- Initialize `Current'.
|
||||||
do
|
do
|
||||||
base := a_callback.base
|
base := a_callback.base
|
||||||
make (a_main_server)
|
make (a_server)
|
||||||
callback := a_callback
|
callback := a_callback
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user