Commits

Author Commit Message Labels Comments Date
Default avatar Dmitry Grebeniuk
merge
Default avatar Dmitry Grebeniuk
applied cadastr's Cd_Ser renames
Branches
net-base
Default avatar Dmitry Grebeniuk
ign
Branches
net-base
Default avatar Dmitry Grebeniuk
'[de]ser' -> '[de]ser.marshal'
Branches
net-base
Default avatar Dmitry Grebeniuk
merge
Branches
net-base
Default avatar Dmitry Grebeniuk
.
Default avatar Dmitry Grebeniuk
merge
Branches
net-base
Default avatar Dmitry Grebeniuk
call_resp_error: + `Exn of exn
Default avatar Dmitry Grebeniuk
+ dest_put_exn
Default avatar Dmitry Grebeniuk
.
Default avatar Dmitry Grebeniuk
.
Default avatar Dmitry Grebeniuk
logging process exceptions/errors
Default avatar Dmitry Grebeniuk
Makefile: {un,re}install_force
Default avatar Dmitry Grebeniuk
don't install tests executable
Default avatar Dmitry Grebeniuk
+ oasis
Default avatar Dmitry Grebeniuk
kosherized logging
Default avatar Dmitry Grebeniuk
logging module
Default avatar Dmitry Grebeniuk
local sync is needed anyway
Default avatar Dmitry Grebeniuk
modified local dests to avoid sync problems with lwt
Default avatar Dmitry Grebeniuk
local protocols (proto_server) will check for unfilled dests
Default avatar Dmitry Grebeniuk
.
Default avatar Dmitry Grebeniuk
.
Default avatar Dmitry Grebeniuk
.
Default avatar Dmitry Grebeniuk
process_of_server
Default avatar Dmitry Grebeniuk
+dest_put_val
Default avatar Dmitry Grebeniuk
class ti_dest in .mli
Default avatar Dmitry Grebeniuk
ti_dest -> class ti_dest (for uniformity with cadastr)
Default avatar Dmitry Grebeniuk
+ dest_get*
Default avatar Dmitry Grebeniuk
.
Default avatar Dmitry Grebeniuk
.
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.