From 0369cbd78db777b8aba78a1d94599a1ff140ba8e Mon Sep 17 00:00:00 2001
From: Adrien Castex <adrien.castex@gmail.com>
Date: Fri, 12 May 2017 15:27:24 +0200
Subject: [PATCH] Exported WebDAVServerOptions

---
 lib/index.d.ts | 2 +-
 lib/index.js   | 5 +++--
 src/index.ts   | 2 +-
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/lib/index.d.ts b/lib/index.d.ts
index 7b7ada80..26a8e322 100644
--- a/lib/index.d.ts
+++ b/lib/index.d.ts
@@ -1,3 +1,3 @@
 export { VirtualFile, VirtualFolder, VirtualResource } from './resource/VirtualResource';
+export { WebDAVServer, WebDAVServerOptions } from './server/WebDAVServer';
 export { VirtualFSManager } from './manager/VirtualFSManager';
-export { WebDAVServer } from './server/WebDAVServer';
diff --git a/lib/index.js b/lib/index.js
index 415bcb04..8f37f169 100644
--- a/lib/index.js
+++ b/lib/index.js
@@ -4,7 +4,8 @@ var VirtualResource_1 = require("./resource/VirtualResource");
 exports.VirtualFile = VirtualResource_1.VirtualFile;
 exports.VirtualFolder = VirtualResource_1.VirtualFolder;
 exports.VirtualResource = VirtualResource_1.VirtualResource;
-var VirtualFSManager_1 = require("./manager/VirtualFSManager");
-exports.VirtualFSManager = VirtualFSManager_1.VirtualFSManager;
 var WebDAVServer_1 = require("./server/WebDAVServer");
 exports.WebDAVServer = WebDAVServer_1.WebDAVServer;
+exports.WebDAVServerOptions = WebDAVServer_1.WebDAVServerOptions;
+var VirtualFSManager_1 = require("./manager/VirtualFSManager");
+exports.VirtualFSManager = VirtualFSManager_1.VirtualFSManager;
diff --git a/src/index.ts b/src/index.ts
index c4f27ea8..8d4d0171 100644
--- a/src/index.ts
+++ b/src/index.ts
@@ -1,4 +1,4 @@
 
 export { VirtualFile, VirtualFolder, VirtualResource } from './resource/VirtualResource';
+export { WebDAVServer, WebDAVServerOptions } from './server/WebDAVServer';
 export { VirtualFSManager } from './manager/VirtualFSManager';
-export { WebDAVServer } from './server/WebDAVServer';