From: Justin Pettit Date: Wed, 5 Nov 2008 23:24:29 +0000 (-0800) Subject: Rename switchmon to switchui. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1b557ee56c0af38a45c3dde0bea65c52573f2f5e;p=openvswitch Rename switchmon to switchui. --- diff --git a/INSTALL b/INSTALL index cbc2e45e..e4e2f31e 100644 --- a/INSTALL +++ b/INSTALL @@ -192,7 +192,7 @@ distribution in the ordinary way using "configure" and "make". ext/ezio/ezio-term. - Switch monitoring UI for small text displays: - ext/ezio/ofp-switchmon. + ext/ezio/ofp-switchui. If you passed --with-l26 to configure, "make" will also build the following kernel modules: diff --git a/debian/.gitignore b/debian/.gitignore index e99c95eb..bfe60c93 100644 --- a/debian/.gitignore +++ b/debian/.gitignore @@ -20,12 +20,12 @@ /openflow-switch /openflow-switch-config /openflow-switch.copyright -/openflow-switchmon -/openflow-switchmon.copyright -/openflow-switchmon.default -/openflow-switchmon.dirs -/openflow-switchmon.init -/openflow-switchmon.install +/openflow-switchui +/openflow-switchui.copyright +/openflow-switchui.default +/openflow-switchui.dirs +/openflow-switchui.init +/openflow-switchui.install /openflow-wdt /openflow-wdt.copyright /openflow-wdt.default diff --git a/debian/openflow-switch.default b/debian/openflow-switch.default index f8c3159f..f0ef4e05 100644 --- a/debian/openflow-switch.default +++ b/debian/openflow-switch.default @@ -97,9 +97,9 @@ SWITCH_IP=dhcp # MGMT_VCONNS: List of vconns (space-separated) on which secchan # should listen for management connections from dpctl, etc. -# openflow-switchmon by default connects to +# openflow-switchui by default connects to # unix:/var/run/secchan.socket, so do not disable this if you want to -# use openflow-switchmon. +# use openflow-switchui. MGMT_VCONNS="punix:/var/run/secchan.socket" # COMMANDS: Access control list for the commands that can be executed diff --git a/secchan/commands/reboot b/secchan/commands/reboot index ba21db9f..4d5145cd 100755 --- a/secchan/commands/reboot +++ b/secchan/commands/reboot @@ -1,3 +1,3 @@ #! /bin/sh -ofp-kill --force --signal=USR1 ofp-switchmon.pid +ofp-kill --force --signal=USR1 ofp-switchui.pid reboot