tweak previous commit - more robust
commitbbea1b0f4d0e3e2786d616c2499462e0820d49ee
authorygrek <ygrek@autistici.org>
Tue, 30 Aug 2011 14:14:35 +0000 (30 17:14 +0300)
committerygrek <ygrek@autistici.org>
Sun, 15 Apr 2012 06:14:09 +0000 (15 09:14 +0300)
treec478a213c8cb957bc8bdce9511de24eb516f3ad0
parentfc59f123bfca114bf092770ce37d22898bb1cd60
tweak previous commit - more robust
src/networks/direct_connect/dcInteractive.ml