initialize
 -- Initialize current service.
 do
    set_service_option ("port", 9090)
    import_service_options (create {WSF_SERVICE_LAUNCHER_OPTIONS_FROM_INI}.make_from_file ("server.ini"))
 endinitializelocal   opts: WSF_STANDALONE_SERVICE_OPTIONS
 do
    create opts
    if opts.is_secure_connection_supported then
            opts.is_secure := True                 opts.set_secure_protocol_to_tls_1_2                 opts.secure_certificate := "ca.crt"                 opts.secure_certificate_key := "ca.key"         end
     opts.import_ini_file_options ("server.ini")
     service_options := opts
 end