Csv.ImportWithHeader1: change notification

urweb · Jun 24, 2021 · 7f76f82 · 7f76f82
1 parent f46c0ef
commit 7f76f82
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/csv.ur b/csv.ur
@@ -313,6 +313,7 @@ functor ImportWithHeader1(M : sig
                               constraint fs ~ fsC
                               con cs :: {{Unit}}
                               val tab : sql_table (fs ++ fsC) cs
+                              val title : string
 
                               val injs : $(map sql_injectable (fs ++ fsC))
                               val reads : $(map read fs)
@@ -339,7 +340,7 @@ functor ImportWithHeader1(M : sig
            | Uploading
            | UploadFailed
            | Uploaded
-         
+
     type a = {UploadStatus : source uploadStatus,
               PasteHere : source string,
               Subwidget : source refreshed}
@@ -369,8 +370,8 @@ functor ImportWithHeader1(M : sig
           | AjaxUpload.Found r =>
             case textOfBlob r.Content of
                 None => error <xml>Uploaded file is not text.</xml>
-              | Some s => import s
-                   
+              | Some s => import s; ChangeWatcher.changed title
+
     val subwidget = refreshed.Create
 
     fun refresh a =

diff --git a/csv.urs b/csv.urs
@@ -79,6 +79,7 @@ functor ImportWithHeader1(M : sig
                               constraint fs ~ fsC
                               con cs :: {{Unit}}
                               val tab : sql_table (fs ++ fsC) cs
+                              val title : string
 
                               val injs : $(map sql_injectable (fs ++ fsC))
                               val reads : $(map read fs)