osrdyne: address review comment

osrdyne/src/main.rs

@@ -156,7 +156,14 @@ async fn main() -> Result<(), anyhow::Error> {
 
         // stop workers. shutdown is not graceful, as the system is expected
         // to be capable to handle interuptions and network partitions at any time.
-        // tasks.shutdown().await;
+        if tokio::time::timeout(Duration::from_secs(10), tasks.shutdown())
+            .await
+            .is_err()
+        {
+            // This should never happen. If we fail to abort the task in a reasonable time,
+            // the process is probably in a weird state and we should let the OS clean it up.
+            panic!("failed to stop workers in time");
+        }
 
         // TODO: don't retry in a tight loop, log something
     }