Bug#785559: python-pypy.sandbox: --timeout option to pypy-sandbox is ignored.

Hi Valentin (2015.05.17_12:35:25_-0700) /usr/bin/pypy-sandbox has an option to kill sandboxed scripts after a given timeout. However, this option seems to be ignored. This looks like a packaging error. Sorry. There's a special marshal library that the sandbox needs to use. SR -- Stefano

Bug#785559: python-pypy.sandbox: --timeout option to pypy-sandbox is ignored.

Package: python-pypy.sandbox Version: 2.4.0+dfsg-3 Severity: important Tags: upstream Dear Maintainer, /usr/bin/pypy-sandbox has an option to kill sandboxed scripts after a given timeout. However, this option seems to be ignored. How to reproduce: $ pypy-sandbox --timeout 1 -- -c while True: