fix: avoid production spacetimedb port conflict

jenkins/Jenkinsfile.production-stdb-module-publish

@@ -22,6 +22,7 @@ pipeline {
     string(name: 'BUILD_NUMBER_TO_DEPLOY', defaultValue: '', description: '要复制归档产物的上游构建号')
     string(name: 'DATABASE', defaultValue: 'genarrative-prod', description: '生产 SpacetimeDB database')
     string(name: 'SPACETIME_SERVER', defaultValue: 'local', description: 'SpacetimeDB server alias')
+    string(name: 'SPACETIME_SERVER_URL', defaultValue: 'http://127.0.0.1:3101', description: '显式 SpacetimeDB server URL，填写后优先于 SPACETIME_SERVER')
     booleanParam(name: 'CLEAR_DATABASE', defaultValue: false, description: '是否清空数据库后发布')
   }
 
@@ -47,6 +48,17 @@ pipeline {
           if (!params.DATABASE?.trim()) {
             error('DATABASE 不能为空。')
           }
+          if (!params.SPACETIME_SERVER?.trim() && !params.SPACETIME_SERVER_URL?.trim()) {
+            error('SPACETIME_SERVER 与 SPACETIME_SERVER_URL 不能同时为空。')
+          }
+          def spacetimeServerUrl = params.SPACETIME_SERVER_URL?.trim()
+          if (spacetimeServerUrl && !(spacetimeServerUrl ==~ /^https?:\/\/[A-Za-z0-9._:-]+$/)) {
+            error("SPACETIME_SERVER_URL 只能是 http(s) URL，且不能包含路径或 shell 特殊字符: ${spacetimeServerUrl}")
+          }
+          def spacetimeServer = params.SPACETIME_SERVER?.trim()
+          if (!spacetimeServerUrl && spacetimeServer && !(spacetimeServer ==~ /^[A-Za-z0-9._:-]+$/)) {
+            error("SPACETIME_SERVER 只能包含字母、数字、点、下划线、冒号和短横线: ${spacetimeServer}")
+          }
         }
       }
     }
@@ -99,6 +111,9 @@ pipeline {
       steps {
         script {
           def clearArg = params.CLEAR_DATABASE ? '--clear-database' : ''
+          def serverArg = params.SPACETIME_SERVER_URL?.trim()
+            ? "--server-url \"${params.SPACETIME_SERVER_URL.trim()}\""
+            : "--server \"${params.SPACETIME_SERVER}\""
           sh """
             bash -lc '
               set -euo pipefail
@@ -106,7 +121,7 @@ pipeline {
               scripts/deploy/production-stdb-publish.sh \\
                 --source-dir "build/${params.BUILD_VERSION}" \\
                 --database "${params.DATABASE}" \\
-                --server "${params.SPACETIME_SERVER}" \\
+                ${serverArg} \\
                 ${clearArg}
             '
           """