Ticket #104: exec.py

## Exec script for all live scripts servers


## First, get all live servers

import os
import sys


put, get = os.popen4('finger @scripts.mit.edu')

inside_live_servers = False

live_servers = []

for line in get.readlines():
  if line.startswith('FWM  2'):
    inside_live_servers = True
  elif line.startswith('FWM  3'):
    inside_live_servers = False
  elif inside_live_servers:
    server = line[5:].strip()
    server = server[:server.index(' ')-2]
    live_servers.append(server)
    
    
    
username = ''

if '-u' in sys.argv:
  i = sys.argv.index('-u')
  username = sys.argv[i+1]
  sys.argv.remove(username)
  sys.argv.remove('-u')
  
    
for server in live_servers:
  print server
  if username != '':
    server = username + '@' + server
  os.system('ssh ' + server + ' ' + ' '.join(sys.argv[1:]))
  
  
print ' '.join(sys.argv[1:])