Diff

DEPENDS @ 2336:fb1d9d2444df

Rename closeallservers to closeall in the public API (same as net.server_select) and expose setquitting
author Matthew Wild <mwild1@gmail.com>
date Mon, 07 Dec 2009 19:26:50 +0000
parent 447:c0dae734d3bf
child 4914:2e9b16b2ae00
line wrap: on
line diff