Fix pipkin directory creation in paste mode (e.g. package installatio…

…n via WebREPL)
dominique-quevy · Jun 2, 2023 · 18106ff · 18106ff
1 parent fb78031
commit 18106ff
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/CHANGELOG.rst b/CHANGELOG.rst
@@ -25,6 +25,7 @@ Version history
 * Update several translations
 * Add en_GB translation
 * Attempt to overcome "window was deleted before its visibility changed" error
+* Fix pipkin directory creation in paste mode (e.g. package installation via WebREPL)
 
 
 4.1.0b1 (2023-04-23)

diff --git a/thonny/vendored_libs/pipkin/bare_metal.py b/thonny/vendored_libs/pipkin/bare_metal.py
@@ -247,7 +247,7 @@ def remove_file_if_exists(self, path: str) -> None:
             dedent(
                 f"""
             try:
-                __pipkin_helper.os.stat({path!r})
+                __pipkin_helper.os.stat({path!r}) and None
             except __pipkin_helper.builtins.OSError:
                 pass
             else:
@@ -274,7 +274,7 @@ def mkdir_in_existing_parent_exists_ok(self, path: str) -> None:
             dedent(
                 f"""
             try:
-                __pipkin_helper.os.stat({path!r})
+                __pipkin_helper.os.stat({path!r}) and None
             except __pipkin_helper.builtins.OSError:
                 __pipkin_helper.os.mkdir({path!r})
         """