]> matita.cs.unibo.it Git - helm.git/commit
changed interface of send_file function to enforce static type checking
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 17:05:22 +0000 (17:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 17:05:22 +0000 (17:05 +0000)
commitaf6c0cdc6313be8c1fbdebee9e61ce700951f101
tree29823b0a8a6ca013b060a9a22252859c014c7942
parent617c3cf27758b63f35ab21a5d5e67be5aa9f065f
changed interface of send_file function to enforce static type checking
of its arguments
helm/DEVEL/ocaml-http/http_daemon.ml
helm/DEVEL/ocaml-http/http_daemon.mli
helm/DEVEL/ocaml-http/http_types.ml