removed unused local
This commit is contained in:
@@ -43,7 +43,6 @@ feature -- Inherited Features
|
|||||||
local
|
local
|
||||||
l_listening_socket: detachable TCP_STREAM_SOCKET
|
l_listening_socket: detachable TCP_STREAM_SOCKET
|
||||||
l_http_port: INTEGER
|
l_http_port: INTEGER
|
||||||
l_factory: INET_ADDRESS_FACTORY
|
|
||||||
do
|
do
|
||||||
launched := False
|
launched := False
|
||||||
port := 0
|
port := 0
|
||||||
|
|||||||
Reference in New Issue
Block a user