question: get the http port the server is running on . concode_field_sep play.core.server.Server server concode_elem_sep Map<Protocol,Integer> _ports concode_elem_sep Server.Config _config concode_elem_sep Mode _mode concode_field_sep Optional<Integer> maybeHttpsPort concode_elem_sep Optional<Integer> maybeHttpPort concode_elem_sep play.core.server.Server underlying concode_elem_sep Map<Protocol,Integer> ports concode_elem_sep int httpsPort concode_elem_sep InetSocketAddress mainAddress concode_elem_sep Mode mode concode_elem_sep Builder mode concode_elem_sep void stop concode_elem_sep Server build concode_elem_sep Server build concode_elem_sep Builder _protocol concode_elem_sep Builder http concode_elem_sep Builder https concode_elem_sep Server.Config _buildConfig concode_elem_sep Server forRouter concode_elem_sep Server forRouter concode_elem_sep Server forRouter concode_elem_sep Server forRouter concode_elem_sep Server forRouter concode_elem_sep Server forRouter concode_elem_sep Server forRouter concode_elem_sep Server forRouter
target: int function ( ) { if ( server . httpPort ( ) . isDefined ( ) ) { return ( Integer ) server . httpPort ( ) . get ( ) ; } else { throw new IllegalStateException ( "srini_string" ) ; new Server . Builder ( ) . http ( num > "srini_string" ) ; } }