# HG changeset patch # User HackBot # Date 1397941989 0 # Node ID 9ef3c341972b4f4f81e24aa88afb906bb505df01 # Parent b47c3dd37440a5f44d0f5a5f20a66b4da9b64653 cat /home/hackbot/hackbot.hg/multibot_cmds/lib/sandbox | paste diff -r b47c3dd37440 -r 9ef3c341972b paste/paste.21008 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/paste/paste.21008 Sat Apr 19 21:13:09 2014 +0000 @@ -0,0 +1,26 @@ +#!/usr/bin/env python + +import os +import sys +import subprocess + +http_proxy = 'http://127.0.0.1:3128' +path = '/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin' +lib = os.path.abspath('lib') + +subprocess.call( + ['nice', '-n10', + '/usr/bin/umlbox', + '-R3128:127.0.0.1:3128', + '--no-stdin', + '--base-mounts', + '--mount', '/opt', + #'--mount', '/var/irclogs', + '--mount', '/etc/java-6-openjdk', + '--mount', lib, + '--translate-write', '/hackenv', os.environ['HACKENV'], + '--translate', '/hackenv/.hg', os.path.join(os.environ['HACKENV'], '.hg'), + '--cwd', '/hackenv', + '--timeout', '30', + 'env', 'PATH=' + path, 'HACKENV=/hackenv', 'http_proxy=' + http_proxy, 'LANG=en_NZ.UTF-8', + os.path.join(lib, 'limits')] + sys.argv[1:])