blob: ec4b441b74025bb7ca7913e877a14442507cd7f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#! /usr/bin/env python
"""
Command-line interface for a dot file viewer.
dotviewer.py filename.dot
dotviewer.py filename.plain
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.
"""
import sys
def main(args = sys.argv[1:]):
import getopt
options, args = getopt.getopt(args, 's:h', ['server=', 'help'])
server_addr = None
for option, value in options:
if option in ('-h', '--help'):
print >> sys.stderr, __doc__
sys.exit(2)
if option in ('-s', '--server'): # deprecated
server_addr = value
if not args and server_addr is None:
print >> sys.stderr, __doc__
sys.exit(2)
for filename in args:
import graphclient
graphclient.display_dot_file(filename)
if server_addr is not None:
import graphserver
graphserver.listen_server(server_addr)
if __name__ == '__main__':
main()
|