def ssh_graph_server(sshargs): s1 = socket.socket() s1.bind(('127.0.0.1', socket.INADDR_ANY)) localhost, localport = s1.getsockname() if sshargs[0] != 'LOCAL': remoteport = random.randrange(10000, 20000) # ^^^ and just hope there is no conflict args = ['ssh', '-S', 'none', '-C', '-R%d:127.0.0.1:%d' % ( remoteport, localport)] args = args + sshargs + ['python -u -c "exec input()"'] else: remoteport = localport args = ['python', '-u', '-c', 'exec input()'] print ' '.join(args) p = subprocess.Popen(args, bufsize=0, stdin=subprocess.PIPE, stdout=subprocess.PIPE) p.stdin.write(repr('port=%d\n%s' % (remoteport, REMOTE_SOURCE)) + '\n') line = p.stdout.readline() assert line == 'OK\n' graphserver.listen_server(None, s1=s1)
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'): 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)
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'): 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)
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)