const minisrv_service_file = true; let irc_nick = ""; headers = "200 OK"; if (request_headers.query.nick) headers += "\n" + session_data.setIRCNick(request_headers.query.nick); else if (!session_data.getSessionData("subscriber_irc_nick")) session_data.getSessionData("subscriber_username") || session_data.setIRCNick(minisrv_config.config.service_name + '_' + Math.floor(Math.random() * 100000)).slice(0, 16); headers += "\nContent-Type: text/html"; irc_nick = session_data.getSessionData("subscriber_irc_nick") || session_data.getSessionData("subscriber_username"); data = ` Chat Home
Relogin
Home
  
Server:
Port:
Channel:
IRC Nick*:

*Note: Once you are connected to the IRC Server, you cannot change your nickname until you disconnect. What triggers the WebTV to disconnect from the chat server is not yet known, it does maintain a connection to the IRC server, but leaves the channel, when you leave the chat page. The connection times out after some time. Only then will any future attempts to change your name work.
`;