export declare const developmentTimeHotReloadScript = "\n    <script>\n      // Kitten development time hot reload script.\n      let __kittenDevelopmentSocket\n      let __kittenDevelopmentSocketReconnectionAttemptTimeoutId = null\n\n      // The server sends a boot id (unique per server process start) on connect.\n      // We remember the first one we see and reload only when a reconnect reports\n      // a different id (i.e. after the server process restarts).\n      let __kittenServerBootId = null\n\n      function __kittenConnectToDevelopmentSocket () {\n        console.info('Attempting to connect to Kitten development socket.')\n        __kittenDevelopmentSocket = new WebSocket(`wss://${location.host}/\uD83D\uDC31/development-socket/`)\n\n        const socketOpenHandler = () => {\n          clearTimeout(__kittenDevelopmentSocketReconnectionAttemptTimeoutId)\n          console.info('\uD83D\uDC31 Kitten: connected to development-time hot reload socket.')\n        }\n\n        const socketMessageHandler = (event) => {\n          let message\n          try {\n            message = JSON.parse(event.data)\n          } catch {\n            return\n          }\n          if (message && message.type === 'kitten-development-boot-id') {\n            if (__kittenServerBootId === null) {\n              // First connection: remember the server\u2019s boot id.\n              __kittenServerBootId = message.bootId\n            } else if (message.bootId !== __kittenServerBootId) {\n              // The server process has restarted (new boot id). Reload the page.\n              window.location.reload()\n            }\n          }\n        }\n\n        const socketCloseHandler = () => {\n          clearTimeout(__kittenDevelopmentSocketReconnectionAttemptTimeoutId)\n          __kittenDevelopmentSocketReconnectionAttemptTimeoutId = setTimeout(__kittenConnectToDevelopmentSocket, 50)\n        }\n\n        __kittenDevelopmentSocket.addEventListener('open', socketOpenHandler)\n        __kittenDevelopmentSocket.addEventListener('message', socketMessageHandler)\n        __kittenDevelopmentSocket.addEventListener('close', socketCloseHandler)\n\n        // This is mainly a fix for Firefox, which is the only browser that results in\n        // the closing of the WebSocket connection at the start of an HTTP load request\n        // (e.g., form POST) and subsequent reconnection, thereby firing of a premature\n        // GET request to the server.\n        // See: https://mastodon.ar.al/@aral/109104595295584049\n        window.addEventListener('beforeunload', () => {\n          clearTimeout(__kittenDevelopmentSocketReconnectionAttemptTimeoutId)\n          __kittenDevelopmentSocket.removeEventListener('open', socketOpenHandler)\n          __kittenDevelopmentSocket.removeEventListener('message', socketMessageHandler)\n          __kittenDevelopmentSocket.removeEventListener('close', socketCloseHandler)\n          __kittenDevelopmentSocket.close()\n        }) \n      }\n\n      // In case the developer is using htmx to update the body of the page,\n      // make sure the development script runs only once.\n      if (!globalThis.kittenDevelopmentTimeHotReloadScriptAlreadyInitialised) {\n        globalThis.kittenDevelopmentTimeHotReloadScriptAlreadyInitialised = true\n        __kittenConnectToDevelopmentSocket()\n      }\n    </script>\n  ";