bugfix/safari_streaming - handle Safari closing the stream connection when the window is hidden

Author: SpiralOSS

examples/Streaming/Streaming.fs

@@ -40,11 +40,15 @@ let handleIndex ctx = task {
 
                 Text.h1 "Example: Streaming"
 
-                Elem.input [ Attr.id "streamDisplayBadApple"; Attr.typeRadio; Attr.value Consts.displaySignalValueBadApple
+                Elem.input [ Attr.id "streamDisplayBadApple"
+                             Attr.typeRadio
+                             Attr.value Consts.displaySignalValueBadApple
                              Ds.bind Consts.displaySignalName ]
                 Elem.label [ Attr.for' "streamDisplayBadApple" ] [ Text.raw "Bad Apple" ]
 
-                Elem.input [ Attr.id "streamDisplayGuids"; Attr.typeRadio; Attr.value Consts.displaySignalValueUsers
+                Elem.input [ Attr.id "streamDisplayGuids"
+                             Attr.typeRadio
+                             Attr.value Consts.displaySignalValueUsers
                              Ds.bind Consts.displaySignalName ]
                 Elem.label [ Attr.for' "streamDisplayGuids" ] [ Text.raw "Viewers" ]
 
@@ -73,6 +77,7 @@ let handleStream : HttpHandler = (fun ctx -> task {
     let user = user |> ValueOption.get
 
     do! handleViewChange ctx
+    do! Response.sseMergeSignal (sseHandler, Consts.displaySignalName, Consts.displaySignalValueBadApple)
 
     try
         try

src/Falco.Datastar/Ds.fs

@@ -454,7 +454,7 @@ type Ds =
         expressions |> String.concat " ; "
 
     /// <summary>
-    /// An attribute that should be placed in the &lt;body&gt; when creating a streaming app to avoid the issue explained here:
+    /// An attribute that should be added to the &lt;body&gt; when creating a streaming app to avoid the issue explained here:
     /// https://stackoverflow.com/questions/8788802/prevent-safari-loading-from-cache-when-back-button-is-clicked
     /// </summary>
     static member safariStreamingFix = Attr.create "data-on-pageshow.window" "evt?.persisted && window.location.reload()"