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/main_plugin.scala
changeset 74094 6113f1db4342
parent 74037 c13198575f75
child 75107 7c0217c8b8a5
equal deleted inserted replaced
74093:dc962d4248ca 74094:6113f1db4342 
   425   }
 
   425   }
 
   426 
   426 
   427 
   427 
   428   /* HTTP server */
 
   428   /* HTTP server */
 
   429 
   429 
   430   val http_root: String = "/" + UUID.random()
 
   430   val http_root: String = "/" + UUID.random().toString
 
   431 
   431 
   432   val http_server: HTTP.Server = HTTP.server(Document_Model.http_handlers(http_root))
 
   432   val http_server: HTTP.Server = HTTP.server(Document_Model.http_handlers(http_root))
 
   433 
   433 
   434 
   434 
   435   /* start and stop */
 
   435   /* start and stop */
isabelle