Clean up HTTP server example

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 2, 2023 · 17dad86 · 17dad86
1 parent 1fb6351
commit 17dad86
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/crates/examples/microkit/http-server/pds/server/core/src/lib.rs b/crates/examples/microkit/http-server/pds/server/core/src/lib.rs
@@ -29,13 +29,6 @@ use server::Server;
 const HTTP_PORT: u16 = 80;
 const HTTPS_PORT: u16 = 443;
 
-type SocketUser<T> = Box<
-    dyn Fn(
-        Server<fat::BlockIOWrapper<T>, fat::DummyTimeSource>,
-        TcpSocketWrapper,
-    ) -> LocalBoxFuture<'static, ()>,
->;
-
 pub async fn run_server<T: BlockIO<BlockSize = constant_block_sizes::BlockSize512> + Clone>(
     _timers_ctx: SharedTimers,
     network_ctx: SharedNetwork,
@@ -106,6 +99,13 @@ pub async fn run_server<T: BlockIO<BlockSize = constant_block_sizes::BlockSize51
     future::pending().await
 }
 
+type SocketUser<T> = Box<
+    dyn Fn(
+        Server<fat::BlockIOWrapper<T>, fat::DummyTimeSource>,
+        TcpSocketWrapper,
+    ) -> LocalBoxFuture<'static, ()>,
+>;
+
 async fn use_socket_for_http<D: fat::BlockDevice + 'static, T: fat::TimeSource + 'static>(
     server: Server<D, T>,
     mut socket: TcpSocketWrapper,