diff --git a/mininet/cli.py b/mininet/cli.py index 4c901784f8af76ac9e85fd9fe799e33467be32f4..45039b3686ff8f737b381bc863ff2d7460b258db 100644 --- a/mininet/cli.py +++ b/mininet/cli.py @@ -28,8 +28,7 @@ Bugs/limitations: - Interactive commands are not supported at the moment; - notably, if you type 'ping h1', you can control-C it, but - it breaks the CLI and your network. ;-( + notably, if you type 'ping h1', you can't interrupt it. For now, we recommend limiting CLI use to non-interactive commands which terminate in a reasonable amount of time. @@ -74,7 +73,7 @@ def do_help( self, args ): ' mininet> h0 ping -c1 h1\n' 'should work.\n' '\n' - 'Interactive commands are not really supported yet,\n' + 'Interactive commands are not supported yet,\n' 'so please limit commands to ones that do not\n' 'require user interaction and will terminate\n' 'after a reasonable amount of time.\n' )