2010-03-12 06:53:45 +08:00
|
|
|
#! /usr/bin/env python3
|
1995-04-10 19:46:03 +08:00
|
|
|
|
|
|
|
# Remote python client.
|
|
|
|
# Execute Python commands remotely and send output back.
|
|
|
|
|
|
|
|
import sys
|
|
|
|
import string
|
|
|
|
from socket import *
|
|
|
|
|
|
|
|
PORT = 4127
|
|
|
|
BUFSIZE = 1024
|
|
|
|
|
|
|
|
def main():
|
2004-07-18 13:56:09 +08:00
|
|
|
if len(sys.argv) < 3:
|
2007-07-18 04:59:35 +08:00
|
|
|
print("usage: rpython host command")
|
2004-07-18 13:56:09 +08:00
|
|
|
sys.exit(2)
|
|
|
|
host = sys.argv[1]
|
|
|
|
port = PORT
|
|
|
|
i = string.find(host, ':')
|
|
|
|
if i >= 0:
|
|
|
|
port = string.atoi(port[i+1:])
|
|
|
|
host = host[:i]
|
|
|
|
command = string.join(sys.argv[2:])
|
|
|
|
s = socket(AF_INET, SOCK_STREAM)
|
|
|
|
s.connect((host, port))
|
|
|
|
s.send(command)
|
|
|
|
s.shutdown(1)
|
|
|
|
reply = ''
|
|
|
|
while 1:
|
|
|
|
data = s.recv(BUFSIZE)
|
|
|
|
if not data: break
|
|
|
|
reply = reply + data
|
2007-07-18 04:59:35 +08:00
|
|
|
print(reply, end=' ')
|
1995-04-10 19:46:03 +08:00
|
|
|
|
|
|
|
main()
|