summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Merge branch 'upstream' into dfsg_clean20170105+dfsgGravatar Benjamin Barenblat2017-01-07
|\
| * New releaseGravatar Adam Chlipala2017-01-05
| |
| * Add 'placeholder' attribute for textareasGravatar Adam Chlipala2017-01-02
| |
| * Update test to track last changeGravatar Adam Chlipala2016-12-31
| |
| * 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
| | | |
| * | | Proofread and tweak new demo proseGravatar Adam Chlipala2016-12-31
| | | |
| * | | Merge pull request #55 from TheNotary/edit-tutorialGravatar Adam Chlipala2016-12-31
| |\ \ \ | | | | | | | | | | reflows intro tutorial
| * | | | 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.
* | | Merge branch 'upstream' into dfsg_clean20161022+dfsgGravatar Benjamin Barenblat2016-10-23
|\ \ \
| | * | Return to working version modeGravatar Adam Chlipala2016-10-22
| |/ /
| * | New releaseGravatar Adam Chlipala2016-10-22
| | |
| | * notes a place to see where a database table is definedGravatar TheNotary2016-10-21
| | |
| | * reflows intro tutorialGravatar TheNotary2016-10-21
| | |
| * | 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
| |
| * Simplify listEdit demo (thanks, Michael Rohs!)Gravatar Adam Chlipala2016-10-05
| |
| * Add mapUX_revGravatar Adam Chlipala2016-09-24
| |
| * Merge pull request #52 from sielenk/ipv6Gravatar Adam Chlipala2016-09-22
| |\ | | | | | | Updates the help text to cover the new ipv6 option
| | * Updates the help text to cover the new ipv6 optionGravatar Marvin Sielenkemper2016-09-22
| |/
| * Update tests for new html5 defaultGravatar Adam Chlipala2016-09-20
| |
| * Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
| |
| * Merge pull request #51 from jmitchell/bin-repro-mtime-precisionGravatar Adam Chlipala2016-09-20
| |\ | | | | | | Use 1s precision when comparing file mtimes
| | * 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.
| * make test: add extra 'curl' flags to make IPv6 work in Ubuntu 14.04Gravatar Adam Chlipala2016-09-19
| |
| * 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
| * \ Merge pull request #48 from jmitchell/bin-reproGravatar Adam Chlipala2016-09-19
| |\ \ | | | | | | | | Reproducible project builds with HTTP caching support
| | | * Revert "Try adding an IPv6 address to interface lo"Gravatar Marvin Sielenkemper2016-09-17
| | | | | | | | | | | | | | | | This reverts commit 62ac943afa64fd4fc16f47c2f23fd90f7c5fff81.
| | | * Try adding an IPv6 address to interface loGravatar Marvin Sielenkemper2016-09-17
| | | |
| | | * Remove accidentally commited unused includes which do not exist on MacOSGravatar Marvin Sielenkemper2016-09-17
| | | |
| | | * Check if the loopback interface has an IPv6 address and only run IPv6 test ↵Gravatar Marvin Sielenkemper2016-09-17
| | | | | | | | | | | | | | | | tests if this is the case
| | | * Explicitly cleares IPV6_V6ONLY to ensure IPv4 availabilityGravatar Marvin Sielenkemper2016-09-17
| | | |
| | | * Amend the tests to check if the new option worksGravatar Marvin Sielenkemper2016-09-16
| | | |
| | | * Add tests for IPv6Gravatar Marvin Sielenkemper2016-09-16
| | | |
| | | * 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.
| * Remove 'Value' attributes for AJAX-y UI widgets, because they should use ↵Gravatar Adam Chlipala2016-09-01
| | | | | | | | 'Source' instead
| * Emacs mode: switch font-lock-cvariable-face to inherit from ↵Gravatar Adam Chlipala2016-09-01
| | | | | | | | font-lock-type-face, to avoid hardcoding of colors
| * Json: parse records with extra fieldsGravatar Adam Chlipala2016-08-27
| |
| * Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2016-08-26
| |\
| * | Import Json module from old Meta library (thanks to Edward Z. Yang for code ↵Gravatar Adam Chlipala2016-08-26
| | | | | | | | | | | | contributions)