function escapeHtml(s: string): string { return s.replace(/&/g, '&').replace(//g, '>').replace(/"/g, '"'); } export function getWakingPageHtml(serviceName: string): string { const safe = escapeHtml(serviceName); return ` Waking up — ${safe}

Waking up ${safe}...

The server is starting. This page will reload automatically.

Waiting for response...

`; }