var minisrv_service_file = true; // remove restrictions once this page is shown, since the user will be 'trapped' anyway session_data.disableLockdown(); session_data.delete("wtv-my-disk-sucks-sucks-sucks"); session_data.baddisk = false; headers = `200 OK Content-type: text/html`; data = ` Please Call

Please Call
Your Internet terminal needs to be repaired or replaced before you can connect to WebTV.

`; switch (wtvshared.getManufacturer(session_data.ssid, true)) { case "10": case "50": data += `Call Philips customer service at 1-888-813-7069.`; break; case "40": data += `Call Mitsubishi customer service at 1-800-332-2119`; break; case "70": data += `Call Samsung customer service at 1-800-726-7864.`; break; case "90": data += `Call RCA/Thomson customer service at 1-800-722-9599.`; break; case "AE": data += `Contact zefie or MattMan on Discord (zefie#0573 or MattMan#2790)` break; default: data += `Contact the manufacturer's customer service department.` break; } data += `
`;