Don't crash if the channel is closed.

I hit this crash by closing the profiler tab immediately after it opened.
mstange · Dec 22, 2022 · 8b92631 · 8b92631
1 parent 6c8ae7d
commit 8b92631
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/samply/src/server.rs b/samply/src/server.rs
@@ -406,10 +406,13 @@ async fn symbolication_service(
                     if data_len == 0 {
                         break;
                     }
-                    sender
+                    let send_result = sender
                         .send_data(Bytes::copy_from_slice(&contents[..data_len]))
-                        .await
-                        .expect("couldn't send data");
+                        .await;
+                    if send_result.is_err() {
+                        // The other side may have closed the channel. Stop sending.
+                        break;
+                    }
                 }
             });
         }