use shorten_string
commit4bea8abc8f4a60637c1bcb0014fe80dc29a5f61a
authorygrek <ygrek@autistici.org>
Mon, 3 May 2010 12:57:16 +0000 (3 15:57 +0300)
committerygrek <ygrek@autistici.org>
Mon, 3 May 2010 12:57:16 +0000 (3 15:57 +0300)
tree0cad60886fe3e73e6c21023069ad2f4f137c1356
parent222730e3325b039a7107ae7e48376f5b092a807d
use shorten_string

instead of String.sub for utf8 strings
src/networks/direct_connect/dcInteractive.ml