Don't call stop uselessly at shutdown
authorEnrico Zini <enrico@enricozini.org>
Mon, 15 Jun 2009 15:26:44 +0000 (23:26 +0800)
committerEnrico Zini <enrico@enricozini.org>
Mon, 15 Jun 2009 15:26:44 +0000 (23:26 +0800)

No differences found