fix: create_user_config fails for wokwi projects

close #20
2026-11-03 04:36:09 +01:00 · 2023-06-27 16:41:04 +03:00
parent 887e208b86
commit a84161582e
2 changed files with 1 additions and 1 deletions
@@ -380,6 +380,7 @@ class Project():
    def create_user_config(self):
        if self.is_wokwi():
            self.fetch_wokwi_files()
+        self.check_ports()
        logging.info("creating include file")
        filename = 'user_config.tcl'
        with open(os.path.join(self.local_dir, 'src', filename), 'w') as fh: