Public Git Hosting - llpp.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 4e94174) | patch

commit	70712e5a5a274c4dcaac5a4a823081651d8153f4
author	malc <av1474@comtv.ru>
	Sun, 13 Jan 2013 20:55:05 +0000 (14 00:55 +0400)
committer	malc <av1474@comtv.ru>
	Sun, 13 Jan 2013 20:55:05 +0000 (14 00:55 +0400)
tree	c5fa1c1dc8330ee696a667251f4aa75074db0f6d	tree \| snapshot (tar.gz zip)
parent	4e94174e41fe48ea4bf3d4e86fc43490860e2508	commit \| diff

Handle EINTR

Thanks to Didier Remy for reproduction test-case.

Thanks		diff \| blob \| blame \| history
main.ml		diff \| blob \| blame \| history
wsi.ml		diff \| blob \| blame \| history
wsi.mli		diff \| blob \| blame \| history

PDF pager