Oops, didn't use the parameter we were passed in.
Allow server configuration to change the max CPU seconds for a piece of sandboxed code.