Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/plugin.scala
changeset 69458 5655af3ea5bd
parent 69377 81ae5893c556
child 69636 dd1e0e1570d2
equal deleted inserted replaced
69457:bea49e443909 69458:5655af3ea5bd 
   431   }
 
   431   }
 
   432 
   432 
   433 
   433 
   434   /* HTTP server */
 
   434   /* HTTP server */
 
   435 
   435 
   436   val http_root: String = "/" + UUID()
 
   436   val http_root: String = "/" + UUID.random()
 
   437 
   437 
   438   val http_server: HTTP.Server = HTTP.server(Document_Model.http_handlers(http_root))
 
   438   val http_server: HTTP.Server = HTTP.server(Document_Model.http_handlers(http_root))
 
   439 
   439 
   440 
   440 
   441   /* start and stop */
 
   441   /* start and stop */
isabelle