view tests/dbupload.ur @ 2142:3288e3c9948b

Fix XML indentation in Emacs mode The return value of MATCH-STRING is a string. At least on Emacs 25, the comparisons between string and character with EQUAL could never succeed, and so the cases for matching braces were never triggered. GET-TEXT-PROPERTY may return a list rather than an atom (for example, on long lines with whitespace-mode turned on), and this broke the heuristic of looking for the tag face in previous text.
author Julian Squires <julian@cipht.net>
date Mon, 04 May 2015 14:35:07 -0400
parents 216a3a67ebe3
children
line wrap: on
line source
table t : { Id : int, Blob : blob, MimeType : string }
sequence s

fun getImage id : transaction page =
    r <- oneRow1 (SELECT t.Blob, t.MimeType
                  FROM t
                  WHERE t.Id = {[id]});
    returnBlob r.Blob (blessMime r.MimeType)

fun main () : transaction page =
    let
        fun handle r =
            id <- nextval s;
            dml (INSERT INTO t (Id, Blob, MimeType)
                 VALUES ({[id]}, {[fileData r.File]}, {[fileMimeType r.File]}));
            main ()
    in
        x <- queryX1 (SELECT t.Id FROM t)
                     (fn r => <xml><img src={url (getImage r.Id)}/><br/></xml>);
        return <xml><body>
          <form><upload{#File}/> <submit action={handle}/></form>
          <hr/>
          {x}
        </body></xml>
    end