port setting

src/server.ts

@@ -76,7 +76,7 @@ async function main(){
     app.use(router.allowedMethods());
     
     console.log("start server");
-    app.listen(8080,settings.localmode ? "127.0.0.1" : "0.0.0.0");
+    app.listen(settings.port,settings.localmode ? "127.0.0.1" : "0.0.0.0");
     return app;
 }
 main();

src/setting.ts

@@ -6,13 +6,15 @@ export type Setting = {
     path: string[],
     localmode: boolean,
     guest: boolean,
-    jwt_secretkey: string
+    jwt_secretkey: string,
+    port:number,
 }
 const default_setting:Setting = {
     path:[],
     localmode: true,
     guest:false,
     jwt_secretkey:"itsRandom",
+    port:8080,
 }
 let setting: null|Setting = null;