Function raise_timeout

openmanus_rl/tools/python_code_generator/tool.py:31–32

()

    if is_windows_os():
        # Windows timeout using threading.Timer
        def raise_timeout():
            raise TimeoutException("Code execution timed out")
        timer = threading.Timer(seconds, raise_timeout)
        timer.start()
        try: