Added the server options 'serverName' and 'version' to display in the 'Server' HTTP header

Author: AdrienCastex

lib/server/WebDAVServerOptions.d.ts

@@ -17,6 +17,8 @@ export declare class WebDAVServerOptions {
     hostname?: string;
     https?: https.ServerOptions;
     port?: number;
+    serverName?: string;
+    version?: string;
     autoSave?: {
         treeFilePath: string;
         tempTreeFilePath: string;

lib/server/WebDAVServerOptions.js

@@ -17,6 +17,8 @@ var WebDAVServerOptions = (function () {
         this.hostname = '::';
         this.https = null;
         this.port = 1900;
+        this.serverName = 'webdav-server';
+        this.version = '1.5.0';
         this.autoSave = null;
     }
     return WebDAVServerOptions;

src/server/WebDAVServerOptions.ts

@@ -23,6 +23,8 @@ export class WebDAVServerOptions
     hostname ?: string = '::'
     https ?: https.ServerOptions = null
     port ?: number = 1900
+    serverName ?: string = 'webdav-server'
+    version ?: string = '1.5.0'
     autoSave ?: {
         treeFilePath : string
         tempTreeFilePath : string