prompt: We are currently solving the following issue within our repository. Here is the issue text:
  --- BEGIN ISSUE ---
  -f broken on windows
  Basically the title.
  When passing -f on windows in show the video file with the default video browser (like -p does) and not in the file explorer. 
  
  --- END ISSUE ---
  
  Below are some code segments, each from a relevant file. One or more of these files may contain bugs.
  --- BEGIN FILES ---
  Path: `manim/__main__.py`
  Content:
  ```
  1 import inspect
  2 import os
  3 import platform
  4 import subprocess as sp
  5 import sys
  6 import re
  7 import traceback
  8 import importlib.util
  9 import types
  10 
  11 from .config import file_writer_config
  12 from .scene.scene import Scene
  13 from .utils.sounds import play_error_sound
  14 from .utils.sounds import play_finish_sound
  15 from . import constants
  16 from .logger import logger, console
  17 
  18 
  19 def open_file_if_needed(file_writer):
  20     if file_writer_config["quiet"]:
  21         curr_stdout = sys.stdout
  22         sys.stdout = open(os.devnull, "w")
  23 
  24     open_file = any(
  25         [file_writer_config["preview"], file_writer_config["show_file_in_finder"]]
  26     )
  27     if open_file:
  28         current_os = platform.system()
  29         file_paths = []
  30 
  31         if file_writer_config["save_last_frame"]:
  32             file_paths.append(file_writer.get_image_file_path())
  33         if file_writer_config["write_to_movie"]:
  34             file_paths.append(file_writer.get_movie_file_path())
  35 
  36         for file_path in file_paths:
  37             if current_os == "Windows":
  38                 os.startfile(file_path)
  39             else:
  40                 commands = []
  41                 if current_os == "Linux":
  42                     commands.append("xdg-open")
  43                 elif current_os.startswith("CYGWIN"):
  44                     commands.append("cygstart")
  45                 else:  # Assume macOS
  46                     commands.append("open")
  47 
  48                 if file_writer_config["show_file_in_finder"]:
  49                     commands.append("-R")
  50 
  51                 commands.append(file_path)
  52 
  53                 # commands.append("-g")
  54                 FNULL = open(os.devnull, "w")
  55                 sp.call(commands, stdout=FNULL, stderr=sp.STDOUT)
  56                 FNULL.close()
  57 
  58     if file_writer_config["quiet"]:
  59         sys.stdout.close()
  60         sys.stdout = curr_stdout
  61 
  62 
  63 def is_child_scene(obj, module):
  64     return (
  65         inspect.isclass(obj)
  66         and issubclass(obj, Scene)
  67         and obj != Scene
  68         and obj.__module__.startswith(module.__name__)
  69     )
  70 
  71 
  72 def prompt_user_for_choice(scene_classes):
  73     num_to_class = {}
  74     for count, scene_class in enumerate(scene_classes):
  75         count += 1  # start with 1 instead of 0
  76         name = scene_class.__name__
  77         console.print(f"{count}: {name}", style="logging.level.info")
  78         num_to_class[count] = scene_class
  79     try:
  80         user_input = console.input(
  81             f"[log.message] {constants.CHOOSE_NUMBER_MESSAGE} [/log.message]"
  82         )
  83         return [
  84             num_to_class[int(num_str)]
  85             for num_str in re.split(r"\s*,\s*", user_input.strip())
  86         ]
  87     except KeyError:
  88         logger.error(constants.INVALID_NUMBER_MESSAGE)
  89         sys.exit(2)
  90     except EOFError:
  91         sys.exit(1)
  92 
  93 
  94 def get_scenes_to_render(scene_classes):
  95     if not scene_classes:
  96         logger.error(constants.NO_SCENE_MESSAGE)
  97         return []
  98     if file_writer_config["write_all"]:
  99         return scene_classes
  100     result = []
  101     for scene_name in file_writer_config["scene_names"]:
  102         found = False
  103         for scene_class in scene_classes:
  104             if scene_class.__name__ == scene_name:
  105                 result.append(scene_class)
  106                 found = True
  107                 break
  108         if not found and (scene_name != ""):
  109             logger.error(constants.SCENE_NOT_FOUND_MESSAGE.format(scene_name))
  110     if result:
  111         return result
  112     return (
  113         [scene_classes[0]]
  114         if len(scene_classes) == 1
  115         else prompt_user_for_choice(scene_classes)
  116     )
  117 
  118 
  119 def get_scene_classes_from_module(module):
  120     return [
  121         member[1]
  122         for member in inspect.getmembers(module, lambda x: is_child_scene(x, module))
  123     ]
  124 
  125 
  126 def get_module(file_name):
  127     if file_name == "-":
  128         module = types.ModuleType("input_scenes")
  129         logger.info(
  130             "Enter the animation's code & end with an EOF (CTRL+D on Linux/Unix, CTRL+Z on Windows):"
  131         )
  132         code = sys.stdin.read()
  133         if not code.startswith("from manim import"):
  134             logger.warn(
  135                 "Didn't find an import statement for Manim. Importing automatically..."
  136             )
  137             code = "from manim import *\n" + code
  138         logger.info("Rendering animation from typed code...")
  139         try:
  140             exec(code, module.__dict__)
  141             return module
  142         except Exception as e:
  143             logger.error(f"Failed to render scene: {str(e)}")
  144             sys.exit(2)
  145     else:
  146         if os.path.exists(file_name):
  147             if file_name[-3:] != ".py":
  148                 raise Exception(f"{file_name} is not a valid Manim python script.")
  149             module_name = file_name[:-3].replace(os.sep, ".").split(".")[-1]
  150             spec = importlib.util.spec_from_file_location(module_name, file_name)
  151             module = importlib.util.module_from_spec(spec)
  152             spec.loader.exec_module(module)
  153             return module
  154         else:
  155             raise FileNotFoundError(f"{file_name} not found")
  156 
  157 
  158 def main():
  159     module = get_module(file_writer_config["input_file"])
  160     all_scene_classes = get_scene_classes_from_module(module)
  161     scene_classes_to_render = get_scenes_to_render(all_scene_classes)
  162     sound_on = file_writer_config["sound"]
  163     for SceneClass in scene_classes_to_render:
  164         try:
  165             # By invoking, this renders the full scene
  166             scene = SceneClass()
  167             open_file_if_needed(scene.file_writer)
  168             if sound_on:
  169                 play_finish_sound()
  170         except Exception:
  171             print("\n\n")
  172             traceback.print_exc()
  173             print("\n\n")
  174             if sound_on:
  175                 play_error_sound()
  176 
  177 
  178 if __name__ == "__main__":
  179     main()
  180
  ```
  --- END FILES ---
  
  Please first localize the bug based on the issue statement, and then generate a patch according to the `git diff` format fenced by three backticks.
  
  Here is an example:
  
  ```diff
  diff --git a/examples/server_async.py b/examples/server_async.py
  --- a/examples/server_async.py
  +++ b/examples/server_async.py
  @@ -313,4 +313,4 @@
   
   
   if __name__ == "__main__":
  -    asyncio.run(run_async_server("."), debug=True)
  +    asyncio.run(run_async_server(), debug=True)
  diff --git a/examples/server_sync.py b/examples/server_sync.py
  --- a/examples/server_sync.py
  +++ b/examples/server_sync.py
  @@ -313,5 +313,5 @@
   
   
   if __name__ == "__main__":
  -    server = run_sync_server(".")
  +    server = run_sync_server()
       server.shutdown()
  
  ```
  
golden_diff: diff --git a/manim/__main__.py b/manim/__main__.py
  --- a/manim/__main__.py
  +++ b/manim/__main__.py
  @@ -36,7 +36,7 @@
   
           for file_path in file_paths:
               if current_os == "Windows":
  -                os.startfile(file_path)
  +                os.startfile(os.path.dirname(file_path))
               else:
                   commands = []
                   if current_os == "Linux":
  
verification_info: {"golden_diff": "diff --git a/manim/__main__.py b/manim/__main__.py\n--- a/manim/__main__.py\n+++ b/manim/__main__.py\n@@ -36,7 +36,7 @@\n \n         for file_path in file_paths:\n             if current_os == \"Windows\":\n-                os.startfile(file_path)\n+                os.startfile(os.path.dirname(file_path))\n             else:\n                 commands = []\n                 if current_os == \"Linux\":\n", "issue": "-f broken on windows\nBasically the title.\r\nWhen passing -f on windows in show the video file with the default video browser (like -p does) and not in the file explorer. \n", "before_files": [{"content": "import inspect\nimport os\nimport platform\nimport subprocess as sp\nimport sys\nimport re\nimport traceback\nimport importlib.util\nimport types\n\nfrom .config import file_writer_config\nfrom .scene.scene import Scene\nfrom .utils.sounds import play_error_sound\nfrom .utils.sounds import play_finish_sound\nfrom . import constants\nfrom .logger import logger, console\n\n\ndef open_file_if_needed(file_writer):\n    if file_writer_config[\"quiet\"]:\n        curr_stdout = sys.stdout\n        sys.stdout = open(os.devnull, \"w\")\n\n    open_file = any(\n        [file_writer_config[\"preview\"], file_writer_config[\"show_file_in_finder\"]]\n    )\n    if open_file:\n        current_os = platform.system()\n        file_paths = []\n\n        if file_writer_config[\"save_last_frame\"]:\n            file_paths.append(file_writer.get_image_file_path())\n        if file_writer_config[\"write_to_movie\"]:\n            file_paths.append(file_writer.get_movie_file_path())\n\n        for file_path in file_paths:\n            if current_os == \"Windows\":\n                os.startfile(file_path)\n            else:\n                commands = []\n                if current_os == \"Linux\":\n                    commands.append(\"xdg-open\")\n                elif current_os.startswith(\"CYGWIN\"):\n                    commands.append(\"cygstart\")\n                else:  # Assume macOS\n                    commands.append(\"open\")\n\n                if file_writer_config[\"show_file_in_finder\"]:\n                    commands.append(\"-R\")\n\n                commands.append(file_path)\n\n                # commands.append(\"-g\")\n                FNULL = open(os.devnull, \"w\")\n                sp.call(commands, stdout=FNULL, stderr=sp.STDOUT)\n                FNULL.close()\n\n    if file_writer_config[\"quiet\"]:\n        sys.stdout.close()\n        sys.stdout = curr_stdout\n\n\ndef is_child_scene(obj, module):\n    return (\n        inspect.isclass(obj)\n        and issubclass(obj, Scene)\n        and obj != Scene\n        and obj.__module__.startswith(module.__name__)\n    )\n\n\ndef prompt_user_for_choice(scene_classes):\n    num_to_class = {}\n    for count, scene_class in enumerate(scene_classes):\n        count += 1  # start with 1 instead of 0\n        name = scene_class.__name__\n        console.print(f\"{count}: {name}\", style=\"logging.level.info\")\n        num_to_class[count] = scene_class\n    try:\n        user_input = console.input(\n            f\"[log.message] {constants.CHOOSE_NUMBER_MESSAGE} [/log.message]\"\n        )\n        return [\n            num_to_class[int(num_str)]\n            for num_str in re.split(r\"\\s*,\\s*\", user_input.strip())\n        ]\n    except KeyError:\n        logger.error(constants.INVALID_NUMBER_MESSAGE)\n        sys.exit(2)\n    except EOFError:\n        sys.exit(1)\n\n\ndef get_scenes_to_render(scene_classes):\n    if not scene_classes:\n        logger.error(constants.NO_SCENE_MESSAGE)\n        return []\n    if file_writer_config[\"write_all\"]:\n        return scene_classes\n    result = []\n    for scene_name in file_writer_config[\"scene_names\"]:\n        found = False\n        for scene_class in scene_classes:\n            if scene_class.__name__ == scene_name:\n                result.append(scene_class)\n                found = True\n                break\n        if not found and (scene_name != \"\"):\n            logger.error(constants.SCENE_NOT_FOUND_MESSAGE.format(scene_name))\n    if result:\n        return result\n    return (\n        [scene_classes[0]]\n        if len(scene_classes) == 1\n        else prompt_user_for_choice(scene_classes)\n    )\n\n\ndef get_scene_classes_from_module(module):\n    return [\n        member[1]\n        for member in inspect.getmembers(module, lambda x: is_child_scene(x, module))\n    ]\n\n\ndef get_module(file_name):\n    if file_name == \"-\":\n        module = types.ModuleType(\"input_scenes\")\n        logger.info(\n            \"Enter the animation's code & end with an EOF (CTRL+D on Linux/Unix, CTRL+Z on Windows):\"\n        )\n        code = sys.stdin.read()\n        if not code.startswith(\"from manim import\"):\n            logger.warn(\n                \"Didn't find an import statement for Manim. Importing automatically...\"\n            )\n            code = \"from manim import *\\n\" + code\n        logger.info(\"Rendering animation from typed code...\")\n        try:\n            exec(code, module.__dict__)\n            return module\n        except Exception as e:\n            logger.error(f\"Failed to render scene: {str(e)}\")\n            sys.exit(2)\n    else:\n        if os.path.exists(file_name):\n            if file_name[-3:] != \".py\":\n                raise Exception(f\"{file_name} is not a valid Manim python script.\")\n            module_name = file_name[:-3].replace(os.sep, \".\").split(\".\")[-1]\n            spec = importlib.util.spec_from_file_location(module_name, file_name)\n            module = importlib.util.module_from_spec(spec)\n            spec.loader.exec_module(module)\n            return module\n        else:\n            raise FileNotFoundError(f\"{file_name} not found\")\n\n\ndef main():\n    module = get_module(file_writer_config[\"input_file\"])\n    all_scene_classes = get_scene_classes_from_module(module)\n    scene_classes_to_render = get_scenes_to_render(all_scene_classes)\n    sound_on = file_writer_config[\"sound\"]\n    for SceneClass in scene_classes_to_render:\n        try:\n            # By invoking, this renders the full scene\n            scene = SceneClass()\n            open_file_if_needed(scene.file_writer)\n            if sound_on:\n                play_finish_sound()\n        except Exception:\n            print(\"\\n\\n\")\n            traceback.print_exc()\n            print(\"\\n\\n\")\n            if sound_on:\n                play_error_sound()\n\n\nif __name__ == \"__main__\":\n    main()\n", "path": "manim/__main__.py"}], "after_files": [{"content": "import inspect\nimport os\nimport platform\nimport subprocess as sp\nimport sys\nimport re\nimport traceback\nimport importlib.util\nimport types\n\nfrom .config import file_writer_config\nfrom .scene.scene import Scene\nfrom .utils.sounds import play_error_sound\nfrom .utils.sounds import play_finish_sound\nfrom . import constants\nfrom .logger import logger,console\n\n\ndef open_file_if_needed(file_writer):\n    if file_writer_config[\"quiet\"]:\n        curr_stdout = sys.stdout\n        sys.stdout = open(os.devnull, \"w\")\n\n    open_file = any([\n        file_writer_config[\"preview\"],\n        file_writer_config[\"show_file_in_finder\"]\n    ])\n    if open_file:\n        current_os = platform.system()\n        file_paths = []\n\n        if file_writer_config[\"save_last_frame\"]:\n            file_paths.append(file_writer.get_image_file_path())\n        if file_writer_config[\"write_to_movie\"]:\n            file_paths.append(file_writer.get_movie_file_path())\n\n        for file_path in file_paths:\n            if current_os == \"Windows\":\n                os.startfile(os.path.dirname(file_path))\n            else:\n                commands = []\n                if current_os == \"Linux\":\n                    commands.append(\"xdg-open\")\n                elif current_os.startswith(\"CYGWIN\"):\n                    commands.append(\"cygstart\")\n                else:  # Assume macOS\n                    commands.append(\"open\")\n\n                if file_writer_config[\"show_file_in_finder\"]:\n                    commands.append(\"-R\")\n\n                commands.append(file_path)\n\n                # commands.append(\"-g\")\n                FNULL = open(os.devnull, 'w')\n                sp.call(commands, stdout=FNULL, stderr=sp.STDOUT)\n                FNULL.close()\n\n    if file_writer_config[\"quiet\"]:\n        sys.stdout.close()\n        sys.stdout = curr_stdout\n\n\ndef is_child_scene(obj, module):\n    return (inspect.isclass(obj)\n            and issubclass(obj, Scene)\n            and obj != Scene\n            and obj.__module__.startswith(module.__name__))\n\n\ndef prompt_user_for_choice(scene_classes):\n    num_to_class = {}\n    for count, scene_class in enumerate(scene_classes):\n        count += 1  # start with 1 instead of 0\n        name = scene_class.__name__\n        console.print(f\"{count}: {name}\", style=\"logging.level.info\")\n        num_to_class[count] = scene_class\n    try:\n        user_input = console.input(f\"[log.message] {constants.CHOOSE_NUMBER_MESSAGE} [/log.message]\")\n        return [num_to_class[int(num_str)]\n                for num_str in re.split(r\"\\s*,\\s*\", user_input.strip())]\n    except KeyError:\n        logger.error(constants.INVALID_NUMBER_MESSAGE)\n        sys.exit(2)\n    except EOFError:\n        sys.exit(1)\n\n\ndef get_scenes_to_render(scene_classes):\n    if not scene_classes:\n        logger.error(constants.NO_SCENE_MESSAGE)\n        return []\n    if file_writer_config[\"write_all\"]:\n        return scene_classes\n    result = []\n    for scene_name in file_writer_config[\"scene_names\"]:\n        found = False\n        for scene_class in scene_classes:\n            if scene_class.__name__ == scene_name:\n                result.append(scene_class)\n                found = True\n                break\n        if not found and (scene_name != \"\"):\n            logger.error(\n                constants.SCENE_NOT_FOUND_MESSAGE.format(\n                    scene_name\n                )\n            )\n    if result:\n        return result\n    return [scene_classes[0]] if len(scene_classes) == 1 else prompt_user_for_choice(scene_classes)\n\n\ndef get_scene_classes_from_module(module):\n    return [\n        member[1]\n        for member in inspect.getmembers(\n            module,\n            lambda x: is_child_scene(x, module)\n        )\n    ]\n\n\ndef get_module(file_name):\n    if file_name == \"-\":\n        module = types.ModuleType(\"input_scenes\")\n        logger.info(\"Enter the animation's code & end with an EOF (CTRL+D on Linux/Unix, CTRL+Z on Windows):\")\n        code = sys.stdin.read()\n        if not code.startswith(\"from manim import\"):\n            logger.warn(\"Didn't find an import statement for Manim. Importing automatically...\")\n            code=\"from manim import *\\n\"+code\n        logger.info(\"Rendering animation from typed code...\")\n        try:\n            exec(code, module.__dict__)\n            return module\n        except Exception as e:\n            logger.error(f\"Failed to render scene: {str(e)}\")\n            sys.exit(2)\n    else:\n        if os.path.exists(file_name):\n            if file_name[-3:] != \".py\":\n                raise Exception(f\"{file_name} is not a valid Manim python script.\")\n            module_name = file_name[:-3].replace(os.sep, '.').split('.')[-1]\n            spec = importlib.util.spec_from_file_location(module_name, file_name)\n            module = importlib.util.module_from_spec(spec)\n            spec.loader.exec_module(module)\n            return module\n        else:\n            raise FileNotFoundError(f'{file_name} not found')\n\n\ndef main():\n    module = get_module(file_writer_config[\"input_file\"])\n    all_scene_classes = get_scene_classes_from_module(module)\n    scene_classes_to_render = get_scenes_to_render(all_scene_classes)\n    sound_on = file_writer_config[\"sound\"]\n    for SceneClass in scene_classes_to_render:\n        try:\n            # By invoking, this renders the full scene\n            scene = SceneClass()\n            open_file_if_needed(scene.file_writer)\n            if sound_on:\n                play_finish_sound()\n        except Exception:\n            print(\"\\n\\n\")\n            traceback.print_exc()\n            print(\"\\n\\n\")\n            if sound_on:\n                play_error_sound()\n\n\nif __name__ == \"__main__\":\n    main()\n", "path": "manim/__main__.py"}]}