Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Avoid some spurious error messages about link/form incompatibility; change ↵ | Adam Chlipala | 2013-12-29 |
| | | | | the text of that error message to include RPC handlers | ||
* | How embarrassing; didn't try compiling before committing | Adam Chlipala | 2013-12-28 |
| | |||
* | Make HTTP keepalive switch between available connections to improve throughput | Adam Chlipala | 2013-12-28 |
| | |||
* | Change where a transaction is marked finished, to avoid forgetting to ↵ | Adam Chlipala | 2013-12-27 |
| | | | | rollback a failed transaction | ||
* | Raise exception when recv()ing from someone else's channel; improve setting ↵ | Adam Chlipala | 2013-12-27 |
| | | | | of client ID in RPCs | ||
* | Tweaking handling of database transactions | Adam Chlipala | 2013-12-25 |
| | |||
* | No need to ROLLBACK after a failed COMMIT | Adam Chlipala | 2013-12-25 |
| | |||
* | Proper handling of serialization failures during SQL COMMIT | Adam Chlipala | 2013-12-23 |
| | |||
* | Fix compilation of apps that don't use database; fix HTTP pipelining | Adam Chlipala | 2013-12-17 |
| | |||
* | Start SQL transactions as read-only when possible, based on conservative ↵ | Adam Chlipala | 2013-12-12 |
| | | | | program analysis | ||
* | Only output Content-script-type header when there is client-side code | Adam Chlipala | 2013-12-12 |
| | |||
* | HTTP: avoid duplicate Content-length | Adam Chlipala | 2013-12-12 |
| | |||
* | RAND_bytes isn't thread-safe, so wrap it with a lock | Adam Chlipala | 2013-12-11 |
| | |||
* | Change handling of returned text blobs, to activate the normal EWrite ↵ | Adam Chlipala | 2013-12-11 |
| | | | | optimizations | ||
* | Fix regression in http.c for long-polling connections; add lazy ↵ | Adam Chlipala | 2013-12-11 |
| | | | | initialization of database connections, to avoid the overhead in handlers that don't use SQL | ||
* | Add '-q' option to HTTP binaries | Adam Chlipala | 2013-12-11 |
| | |||
* | Add show instance for 'id' type | Sergey Mironov | 2013-10-07 |
| | |||
* | Merge | Adam Chlipala | 2013-12-09 |
|\ | |||
* | | Add JavaScript mappings for isprint and ord | Adam Chlipala | 2013-12-09 |
| | | |||
* | | Rename <activeHead> to <script> and make it work properly | Adam Chlipala | 2013-12-09 |
| | | |||
| * | Small reformatting and documentation for '-print-cinclude' | Adam Chlipala | 2013-12-06 |
| | | |||
* | | activeHead: don't modify the head. just execute the code provided | Sergey Mironov | 2013-12-06 |
| | | |||
* | | Add activeHead tag. | Sergey Mironov | 2013-12-06 |
| | | | | | | | | activeHead is similar to active but produces xhead instead of xbody | ||
| * | Add -print-cinlude command line option | Sergey Mironov | 2013-11-06 |
| | | |||
| * | Add 'xhead' case to Monoize | Adam Chlipala | 2013-12-06 |
|/ | |||
* | Increase precision for rendering floats to SQL | Adam Chlipala | 2013-12-03 |
| | |||
* | Remove extra line break for onError | Adam Chlipala | 2013-12-01 |
| | |||
* | Postgres: remove DML error code logging and (hopefully) fix the real ↵ | Adam Chlipala | 2013-11-29 |
| | | | | problem, not checking for concurrency faults on SELECTs | ||
* | Add keepalive option to the http protocol | Adam Chlipala | 2013-11-28 |
| | |||
* | Postgres: print SQLSTATE on DML failure, to help figure out when new special ↵ | Adam Chlipala | 2013-11-27 |
| | | | | cases should be added | ||
* | Add Connection and Content-length headers to raw HTTP responses | Adam Chlipala | 2013-11-27 |
| | |||
* | In HTTP protocol C code, increase listening socket backlog to maximum | Adam Chlipala | 2013-11-27 |
| | |||
* | Sneaky still-in-today's-release update of 'table' signature item handling | Adam Chlipala | 2013-11-24 |
| | |||
* | make dist: Use fewer wildcards | Anders Kaseorg | 2013-11-22 |
| | | | | | | | | | | | | | | | The remaining ones only work by accident: http://www.gnu.org/software/automake/manual/html_node/Wildcards.html and they have some practical problems too (we don’t really want to distribute include/urweb/config.h or src/config.sml), but this is enough for now to pass ‘make distcheck’ as long as we don’t run it from a separate build directory. Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 6 +++--- src/c/Makefile.am | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) | ||
* | Allow building in a separate build directory | Anders Kaseorg | 2013-11-22 |
| | | | | | | | | | | Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 30 +++--- src/c/Makefile.am | 2 +- src/compiler.mlb | 2 +- src/sources | 302 +++++++++++++++++++++++++++--------------------------- 4 files changed, 168 insertions(+), 168 deletions(-) | ||
* | Remove autogenerated files from version control | Adam Chlipala | 2013-11-21 |
| | |||
* | Regenerate Makefile.in | Adam Chlipala | 2013-11-21 |
| | |||
* | compileC: Link libraries in the right order | Anders Kaseorg | 2013-11-21 |
| | | | | | | | | | | | This is needed, at least on recent Ubuntu, to fix this linker error when compiling any Ur/Web application: ld: /tmp/webapp.o: undefined reference to symbol 'uw_write' Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- src/compiler.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) | ||
* | Add missing inter-library dependencies | Anders Kaseorg | 2013-11-21 |
| | | | | | | | | | | | | | | | | | This is needed, at least on recent Ubuntu, to fix these linker errors when compiling any Ur/Web application: liburweb.so: undefined reference to `lround' liburweb.so: undefined reference to `ceil' liburweb.so: undefined reference to `RAND_bytes' liburweb.so: undefined reference to `DES_fcrypt' liburweb.so: undefined reference to `SHA256_Init' liburweb.so: undefined reference to `SHA256_Final' liburweb.so: undefined reference to `SHA256_Update' Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- src/c/Makefile.am | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) | ||
* | Identify more local definitions as functions that should be lifted to the ↵ | Adam Chlipala | 2013-11-05 |
| | | | | top level, which has synergistic effects on inlining later | ||
* | Interpret 'table' signature items more flexibly, automatically adding (Ur) ↵ | Adam Chlipala | 2013-11-04 |
| | | | | constraints to support a kind of subtyping over (SQL) constraint sets | ||
* | Save disjointness environments across top-level declarations | Adam Chlipala | 2013-10-17 |
| | |||
* | Change Pthread thread creation logic to avoid Cygwin limitations with ↵ | Adam Chlipala | 2013-10-14 |
| | | | | setting stack size | ||
* | Remove uw_cutErrorLocation() hijinks | Adam Chlipala | 2013-10-10 |
| | |||
* | Remove debug prints | Adam Chlipala | 2013-10-10 |
| | |||
* | Make transactional FFI functions effectful by default | Adam Chlipala | 2013-10-10 |
| | |||
* | Take proper account of signatures changing during page generation | Adam Chlipala | 2013-10-10 |
| | |||
* | Add -print-ccompiler command line option | Sergey Mironov | 2013-09-18 |
| | |||
* | Add -ccompiler command line argument | Sergey Mironov | 2013-08-20 |
| | | | | This allows user to overwrite the compiler set during the configure phase | ||
* | Add monoize case for 'dml' type | Adam Chlipala | 2013-10-01 |
| |