From: Justin Pettit Date: Sat, 11 Jul 2009 00:36:09 +0000 (-0700) Subject: Remove "coverage/clear" command due its limited use X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=67ca9e6d90808f22332cf475ad01e01bf5d46c4f;p=openvswitch Remove "coverage/clear" command due its limited use The poll loop calls coverage_clear on every pass anyway, so provide a function to call it separately is of limited value. --- diff --git a/lib/coverage.c b/lib/coverage.c index e86aa029..6f805e9e 100644 --- a/lib/coverage.c +++ b/lib/coverage.c @@ -36,18 +36,10 @@ coverage_unixctl_log(struct unixctl_conn *conn, const char *args UNUSED) unixctl_command_reply(conn, 200, NULL); } -static void -coverage_unixctl_clear(struct unixctl_conn *conn, const char *args UNUSED) -{ - coverage_clear(); - unixctl_command_reply(conn, 200, NULL); -} - void coverage_init(void) { unixctl_command_register("coverage/log", coverage_unixctl_log); - unixctl_command_register("coverage/clear", coverage_unixctl_clear); } /* Sorts coverage counters in descending order by count, within equal counts