From af197e0075fefc5e2476b4c9ae66ec74ec852237 Mon Sep 17 00:00:00 2001
From: Waldek Mastykarz <waldek@mastykarz.nl>
Date: Tue, 7 Oct 2025 14:20:37 +0200
Subject: [PATCH] Adds port to the generated file name in
 OpenApiSpecGeneratorPlugin. Closes #1411

---
 DevProxy.Plugins/Generation/OpenApiSpecGeneratorPlugin.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DevProxy.Plugins/Generation/OpenApiSpecGeneratorPlugin.cs b/DevProxy.Plugins/Generation/OpenApiSpecGeneratorPlugin.cs
index 255b2a5d..af807c28 100644
--- a/DevProxy.Plugins/Generation/OpenApiSpecGeneratorPlugin.cs
+++ b/DevProxy.Plugins/Generation/OpenApiSpecGeneratorPlugin.cs
@@ -742,7 +742,7 @@ private static string GetFileNameFromServerUrl(string serverUrl, SpecFormat form
             SpecFormat.Yaml => "yaml",
             _ => "json"
         };
-        var fileName = $"{uri.Host}-{DateTime.Now:yyyyMMddHHmmss}.{ext}";
+        var fileName = $"{uri.Host}-{uri.Port}-{DateTime.Now:yyyyMMddHHmmss}.{ext}";
         return fileName;
     }