# HG changeset patch
# User HackBot
# Date 1397954915 0
# Node ID 69d157db781d64df3ec278c46e1baac54d10d436
# Parent  92c6e6440fa4042f2b645e4ba5c80d6acc72c5e6
<oerjan> ./paste.2 /home/hackbot/hackbot.hg/multibot_cmds/lib/sandbox

diff -r 92c6e6440fa4 -r 69d157db781d paste/paste.20962
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paste/paste.20962	Sun Apr 20 00:48:35 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:])