diff options
| -rw-r--r-- | config/openbgpd/openbgpd_status.php | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/config/openbgpd/openbgpd_status.php b/config/openbgpd/openbgpd_status.php index 20de85bf..330062e5 100644 --- a/config/openbgpd/openbgpd_status.php +++ b/config/openbgpd/openbgpd_status.php @@ -74,11 +74,6 @@ function doCmdT($title, $command) { echo "</table>\n"; } -/* Execute a command, giving it a title which is the same as the command. */ -function doCmd($command) { - doCmdT($command,$command); -} - /* Define a command, with a title, to be executed later. */ function defCmdT($title, $command) { global $commands; @@ -86,13 +81,6 @@ function defCmdT($title, $command) { $commands[] = array($title, $command); } -/* Define a command, with a title which is the same as the command, - * to be executed later. - */ -function defCmd($command) { - defCmdT($command,$command); -} - /* List all of the commands as an index. */ function listCmds() { global $commands; |