From ca86b7d6c58fa0142f8f02ced78e944faa770539 Mon Sep 17 00:00:00 2001
From: Bill Zissimopoulos <billziss@navimatics.com>
Date: Tue, 17 Nov 2015 15:11:11 -0800
Subject: [PATCH] tools/debug.bat: start windbg for winfsp debugging

---
 tools/debug.bat | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tools/debug.bat

diff --git a/tools/debug.bat b/tools/debug.bat
new file mode 100644
index 00000000..070fd592
--- /dev/null
+++ b/tools/debug.bat
@@ -0,0 +1,13 @@
+@echo off
+
+set DebugWorkspace=winfsp
+set DebugPort=50000
+set DebugKey=win8.debug.net.key
+
+set RegKey="HKLM\SOFTWARE\Microsoft\Windows Kits\Installed Roots"
+set RegVal="KitsRoot10"
+reg query %RegKey% /v %RegVal% >nul 2>&1 || (echo Cannot find Windows Kit >&2 & exit /b 1)
+for /f "tokens=2,*" %%i in ('reg query %RegKey% /v %RegVal% ^| findstr %RegVal%') do (
+    set KitRoot="%%j"
+)
+start "winfsp" %KitRoot%\Debuggers\x64\windbg -W %DebugWorkspace% -k net:port=%DebugPort%,key=%DebugKey%