old_contents: #!/usr/bin/python
  
  import string,os,sys
  import subprocess,types
  
  VOSBIN="/usr/sbin/vos"
  RXDEBUGBIN="/usr/sbin/rxdebug"
  FSBIN="/usr/bin/fs"
  OSDBIN="osd"
  BOSBIN="/usr/sbin/bos"
  TOKENBIN="/usr/bin/tokens"
  AKLOGBIN="/usr/bin/aklog"
  KINITBIN="/usr/bin/kinit"
  KLISTBIN="/usr/bin/klist"
  KDESTROYBIN="/usr/lib/mit/bin/kdestroy"
  
  def execute(CmdList) :
      pipo=subprocess.Popen(CmdList,stdout=subprocess.PIPE,stderr=subprocess.PIPE)
      _output,_outerr=pipo.communicate()
      if pipo.returncode != 0 :
          sys.stderr.write("cmd: \"%s\" failed with %d\n" % (string.join(CmdList),pipo.returncode))
          sys.stderr.write("STDERR: %s\n" % _outerr)
          sys.exit(pipo.returncode)
  
      # get rid of whitespace
      _output=map(safeStrip,_output.split("\n"))
      _outerr=map(safeStrip,_outerr.split("\n"))
  
      output=[]
      for line in _output :
          if line == "" : continue
          output.append(line)
  
      outerr=[]
      for line in _outerr :
          if line == "" : continue
          outerr.append(line)
     
      return pipo.returncode,output,outerr
  
  
  def safeStrip(Thing) :
      if type(Thing) == types.StringType :
          return Thing.strip()
      return
  
new_contents: #!/usr/bin/python
  
  import string,os,sys
  import subprocess,types
  
  VOSBIN="/usr/sbin/vos"
  RXDEBUGBIN="/usr/sbin/rxdebug"
  FSBIN="/usr/bin/fs"
  OSDBIN="osd"
  BOSBIN="/usr/sbin/bos"
  TOKENBIN="/usr/bin/tokens"
  AKLOGBIN="/usr/bin/aklog"
  KINITBIN="/usr/bin/kinit"
  KLISTBIN="/usr/bin/klist"
  KDESTROYBIN="/usr/lib/mit/bin/kdestroy"
  
  def execute(CmdList, Input="", env={}) :
      if Input == "" :
          pipo=subprocess.Popen(CmdList,stdout=subprocess.PIPE,stderr=subprocess.PIPE, env=env)
          _output,_outerr=pipo.communicate()
      else :
          pipo=subprocess.Popen(CmdList,stdin=subprocess.PIPE, stdout=subprocess.PIPE,stderr=subprocess.PIPE, env=env)
          _output,_outerr=pipo.communicate(Input)
          
      if pipo.returncode != 0 :
          sys.stderr.write("cmd: \"%s\" failed with %d\n" % (string.join(CmdList),pipo.returncode))
          sys.stderr.write("STDERR: %s\n" % _outerr)
          sys.exit(pipo.returncode)
  
      # get rid of whitespace
      _output=map(safeStrip,_output.split("\n"))
      _outerr=map(safeStrip,_outerr.split("\n"))
  
      output=[]
      for line in _output :
          if line == "" : continue
          output.append(line)
  
      outerr=[]
      for line in _outerr :
          if line == "" : continue
          outerr.append(line)
     
      return pipo.returncode,output,outerr
  
  def safeStrip(Thing) :
      if type(Thing) == types.StringType :
          return Thing.strip()
      return
  
subject: extend execute-function