Commits

Author Commit Message Labels Comments Date
Dmitry Grebeniuk
merge
Dmitry Grebeniuk
applied cadastr's Cd_Ser renames
Branches
net-base
Dmitry Grebeniuk
ign
Branches
net-base
Dmitry Grebeniuk
'[de]ser' -> '[de]ser.marshal'
Branches
net-base
Dmitry Grebeniuk
merge
Branches
net-base
Dmitry Grebeniuk
.
Dmitry Grebeniuk
merge
Branches
net-base
Dmitry Grebeniuk
call_resp_error: + `Exn of exn
Dmitry Grebeniuk
+ dest_put_exn
Dmitry Grebeniuk
.
Dmitry Grebeniuk
.
Dmitry Grebeniuk
logging process exceptions/errors
Dmitry Grebeniuk
Makefile: {un,re}install_force
Dmitry Grebeniuk
don't install tests executable
Dmitry Grebeniuk
+ oasis
Dmitry Grebeniuk
kosherized logging
Dmitry Grebeniuk
logging module
Dmitry Grebeniuk
local sync is needed anyway
Dmitry Grebeniuk
modified local dests to avoid sync problems with lwt
Dmitry Grebeniuk
local protocols (proto_server) will check for unfilled dests
Dmitry Grebeniuk
.
Dmitry Grebeniuk
.
Dmitry Grebeniuk
.
Dmitry Grebeniuk
process_of_server
Dmitry Grebeniuk
+dest_put_val
Dmitry Grebeniuk
class ti_dest in .mli
Dmitry Grebeniuk
ti_dest -> class ti_dest (for uniformity with cadastr)
Dmitry Grebeniuk
+ dest_get*
Dmitry Grebeniuk
.
Dmitry Grebeniuk
.
  1. Prev
  2. Next