Provide a way to shutdown the standalone connector (for instance when profiling).

This commit is contained in:
Jocelyn Fiat
2017-04-13 15:00:06 +02:00
parent 4eb743fa58
commit 72abb87d75

View File

@@ -34,6 +34,9 @@ feature -- Basic operations
response.header.put_connection_keep_alive
end
response.put_string (s)
if attached request.string_item ("exit") as s_exit and then s_exit.is_case_insensitive_equal_general ("now") then
(create {EXCEPTIONS}).die (-1)
end
end
end