pypy / dotviewer /

Diff from to

dotviewer/ filename.plain
- --server [interface:]port
 In the first form, show the graph contained in a .dot file.
 In the second form, the graph was already compiled to a .plain file.
-In the third form, listen for connexion on the given port and display
-the graphs sent by the remote side.  On the remote site, set the
-GRAPHSERVER environment variable to HOST:PORT.  See
-for more instructions.
 import sys
         if option in ('-h', '--help'):
             print >> sys.stderr, __doc__
-        if option in ('-s', '--server'):
+        if option in ('-s', '--server'):      # deprecated
             server_addr = value
     if not args and server_addr is None:
         print >> sys.stderr, __doc__