From 6ada30a32e69cf288e50ee0ca2963e031c588ee0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 16 Apr 2009 13:47:20 -0400 Subject: Some client-side error handling --- tests/roundTrip.ur | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'tests/roundTrip.ur') diff --git a/tests/roundTrip.ur b/tests/roundTrip.ur index 26a0113e..d22b2d41 100644 --- a/tests/roundTrip.ur +++ b/tests/roundTrip.ur @@ -26,11 +26,14 @@ fun main () = receiverB () fun sender s n f = - sleep 9; + sleep 2000; writeBack (s, n, f); sender (s ^ "!") (n + 1) (f + 1.23) in - return + return alert ("Server error: " ^ s)); + spawn (receiverA ()); spawn (receiverB ()); sender "" 0 0.0}> end -- cgit v1.2.3