flush.pl

# 引数に渡したハンドルのフラッシュを行う。

# 動作未確認

sub flush{
	local($old_select) = select($_[0]);
	$| = 1;
	print "";
	$| = 0;
	select($old_select);
}
1;