aboutsummaryrefslogtreecommitdiffhomepage
path: root/src
Commit message (Collapse)AuthorAge
* Remove insecure crypto function (closes #114)Gravatar Adam Chlipala2018-05-29
|
* Proper error message when the body of a 'val' declaration fails to check ↵Gravatar Adam Chlipala2018-05-20
| | | | against the type annotation
* More defensive unurlification of enumerations (closes #117)Gravatar Adam Chlipala2018-05-19
|
* Handle empty SELECT clausesGravatar Adam Chlipala2018-03-13
|
* automatically enable foreign keys and WAL for SQLiteGravatar steinuil2018-02-26
|
* Proper handling of absolute paths for files to serveGravatar Adam Chlipala2018-01-08
|
* Added oninput event to inputs which support it.Gravatar Vladimir Shabanov2017-12-05
| | | | Added onscroll event to <body> and title/sizes attributes to <link>.
* Small tweaks to new help textGravatar Adam Chlipala2017-10-01
|
* Merge pull request #90 from peterbb/masterGravatar Adam Chlipala2017-10-01
|\ | | | | new flag -help, and refactoring of flag parsing.
* | New .urp directives: mimeTypes and long form of fileGravatar Adam Chlipala2017-10-01
| |
| * new flag -help, and refactoring of flag parsing.Gravatar Peter Bock2017-09-29
|/
* Remove redundant -WimplicitGravatar Benjamin Barenblat2017-08-07
| | | | -Wall implies -Wimplicit.
* Enable -Wunused-parameterGravatar Benjamin Barenblat2017-08-07
|
* Fix last fix, to handle checkboxes properlyGravatar Adam Chlipala2017-07-27
|
* Skip inappropriate postprocessing of text fields from multipart form data ↵Gravatar Adam Chlipala2017-07-27
| | | | (fixes #82)
* Grandfathered change for release: fix extended 'val' rule in grammarGravatar Adam Chlipala2017-07-20
|
* Make 'static' protocol commit transactions, to force rewriting of HTML ↵Gravatar Adam Chlipala2017-07-12
| | | | documents with JavaScript links, etc.
* Allow inexhaustive patterns for lefthand sides of top-level 'val' declarationsGravatar Adam Chlipala2017-07-12
|
* Merge pull request #80 from vshabanov/m-flag-fixGravatar Adam Chlipala2017-07-12
|\ | | | | Fix for non-working '-m' runtime option
* | Option to prefix all user JavaScript FFI functions with a module name ↵Gravatar Vladimir Shabanov2017-06-15
| | | | | | | | (jsModule .urp option).
| * Fixed non-working '-m' runtime option.Gravatar Vladimir Shabanov2017-06-15
|/
* Raise an error if we run out of randomness during client initializationGravatar Adam Chlipala2017-05-14
|
* Fix normalization of signatures that project signatures from other modules ↵Gravatar Adam Chlipala2017-03-31
| | | | with multi-element paths (fixes #72)
* Option '-m' for HTTP-server binariesGravatar Adam Chlipala2017-03-17
|
* Better error message for .urp files with too many blank linesGravatar Adam Chlipala2017-03-17
|
* Minor fix.Gravatar Artyom Shalkhakov2017-03-09
|
* Adding support for emitting JS to a given file.Gravatar Artyom Shalkhakov2017-03-07
|
* Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-12-31
|\
* | Use 'id' attribute for <form>Gravatar Adam Chlipala2016-12-31
| |
| * Merge pull request #60 from bbarenblat/masterGravatar Adam Chlipala2016-12-31
| |\ | | | | | | FastCGI: Track request IDs during processing
| * | Merge pull request #62 from sielenk/ipv6_OpenBSDGravatar Adam Chlipala2016-12-31
|/| | | | | | | | Ipv6 open bsd
* | | Proper ordering when libraries are included recursively (fixes #56)Gravatar Adam Chlipala2016-12-31
| | |
* | | Allow qualified variable references in record literalsGravatar Adam Chlipala2016-12-31
| | |
| * | remove unnecessary codeGravatar Marvin Sielenkemper2016-12-01
| | |
| * | pass the proper size to the bind callGravatar Marvin Sielenkemper2016-12-01
| | |
| * | zero initialize the socket address structureGravatar Marvin Sielenkemper2016-12-01
| | |
| * | use the ip4 socket address for ipv4 againGravatar Marvin Sielenkemper2016-11-30
|/ /
| * FastCGI: Track request IDs during processingGravatar Benjamin Barenblat2016-11-07
|/ | | | | | | | | | | | When processing a FastCGI request, save its request ID in thread-local storage and respond with the same request ID (rather than hard-coding 1). This fixes FastCGI on picky web servers (nginx). For more background, see https://github.com/urweb/urweb/issues/57 and §3.3 of the FastCGI specification. Tested with nginx 1.10.2 and lighttpd 1.4.39. Closes https://github.com/urweb/urweb/issues/57.
* Make JavaScript boolToString use right capitalizationGravatar Adam Chlipala2016-10-21
|
* Tag: better support for recursion among page handlers, using union findGravatar Adam Chlipala2016-10-07
|
* Updates the help text to cover the new ipv6 optionGravatar Marvin Sielenkemper2016-09-22
|
* Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
|
* Use 1s precision when comparing file mtimesGravatar Jacob Mitchell2016-09-19
| | | | | | | | | | HTTP Last-Modified caching depends on mtimes of files read during compilation. Only mtimes before the compiler's start (reset) time are considered. On filesystems with lower mtime precision than Standard ML's Time.now, a temporary file generated by the compiler may have an mtime preceding the reset time even though it was modified after. The fix here is to compare times using 1s precision, the most granular used by filesystems.
* Merge pull request #49 from sielenk/masterGravatar Adam Chlipala2016-09-19
|\ | | | | Add IPv6 support and a new '-A' option to specify an IPv6 adress to bind
| * Remove accidentally commited unused includes which do not exist on MacOSGravatar Marvin Sielenkemper2016-09-17
| |
| * Explicitly cleares IPV6_V6ONLY to ensure IPv4 availabilityGravatar Marvin Sielenkemper2016-09-17
| |
| * Add IPv6 support and a new '-A' option to specify an IPv6 adress to bindGravatar Marvin Sielenkemper2016-09-16
| |
* | Use hash instead of timestamp in app.js filenameGravatar Jacob Mitchell2016-09-08
| | | | | | | | | | Makes Ur/Web project builds reproducible without sacrificing HTTP caching. Uses a public domain SHA1 implementation by tom7. See #38.
* | HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
|/ | | | See issue #38.
* Emacs mode: switch font-lock-cvariable-face to inherit from ↵Gravatar Adam Chlipala2016-09-01
| | | | font-lock-type-face, to avoid hardcoding of colors