Clean up some duplication
[factor/jcg.git] / extra / benchmark / sockets / 
treea28106720ba364d913b4d9bae53cde8623e3d816
drwxr-xr-x   ..
-rwxr-xr-x 1888 sockets.factor