ux/views: factored the {dead} screen out of {stop}

ux/client/views/index.js

@@ -21,7 +21,7 @@ export { NYI } from './nyi'
 // while {suspense} is waiting
 export Loading from './loading'
 // the page rendered when the user kills the server
-export { Stop } from './stop'
+export { Stop, Dead } from './stop'
 
 
 // end of file

ux/client/views/stop/dead.js

@@ -0,0 +1,28 @@
+// -*- web -*-
+//
+// michael a.g. aïvázis <michael.aivazis@para-sim.com>
+// (c) 1998-2023 all rights reserved
+
+
+// externals
+import React from 'react'
+// locals
+import styles from './styles'
+
+
+// show the dead screen
+export const Dead = () => {
+    // render
+    return (
+        <section style={styles.stop}>
+            <div style={styles.placeholder}>
+                <a href="/" style={styles.link}>qed</a>
+                {" "}
+                has shut down; please close this window
+            </div>
+        </section>
+    )
+}
+
+
+// end of file

ux/client/views/stop/index.js

@@ -6,29 +6,8 @@
 
 // externals
 import React from 'react'
-import { Link } from 'react-router-dom'
-// locals
-import styles from './styles'
-
-
-// kill the server
-export const Stop = () => {
-    // ask the server to shut down
-    fetch('stop').catch(
-        // and swallow any errors
-        () => null
-    )
-
-    // the container
-    return (
-        <section style={styles.stop}>
-            <div style={styles.placeholder}>
-                <Link to="/" style={styles.link}>qed</Link>
-                &nbsp;has shut down; please close this window
-            </div>
-        </section>
-    )
-}
-
+// components
+export { Dead } from './dead'
+export { Stop } from './stop'
 
 // end of file

ux/client/views/stop/stop.js

@@ -0,0 +1,29 @@
+// -*- web -*-
+//
+// michael a.g. aïvázis <michael.aivazis@para-sim.com>
+// (c) 1998-2023 all rights reserved
+
+
+// externals
+import React from 'react'
+
+// locals
+// components
+import { Dead } from './dead'
+
+
+// kill the server
+export const Stop = () => {
+    // ask the server to shut down
+    fetch('stop').catch(
+        // and swallow any errors
+        () => null
+    )
+    // render the dead screen
+    return (
+        <Dead />
+    )
+}
+
+
+// end of file