Permalink
Browse files

require for valid port added.

  • Loading branch information...
1 parent e1dd432 commit e677c806c3ab12b9109e689aa82282bfee0bedfe @berenddeboer committed Apr 19, 2012
Showing with 1 addition and 0 deletions.
  1. +1 −0 src/ewf/epx_wgi_fastcgi_connector.e
@@ -37,6 +37,7 @@ feature {NONE} -- Initialization
make (a_service: attached like wgi_service; an_options: attached like options_template)
require
options_not_void: an_options /= Void
+ valid_port: an_options.port > 0 and then an_options.port <= 65535
signal_handler_attached: an_options.terminate_signal /= Void
do
options := an_options

0 comments on commit e677c80

Please sign in to comment.