From 1c1195fa432e2cd5d576f2be8d8ce697f939bf02 Mon Sep 17 00:00:00 2001
From: Kai Philipp <kphilipp@inquies.de>
Date: Wed, 11 Sep 2019 04:38:54 +0200
Subject: [PATCH] bugfix vector include

---
 src/db/serverdbinterface.h      | 1 +
 src/dbofficial/serverdbthread.h | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/db/serverdbinterface.h b/src/db/serverdbinterface.h
index ec4d1ca6..2fdcdcff 100644
--- a/src/db/serverdbinterface.h
+++ b/src/db/serverdbinterface.h
@@ -36,6 +36,7 @@
 #include <db/serverdbcallback.h>
 #include <string>
 #include <list>
+#include <vector>
 
 typedef std::list<DB_id> db_list;
 
diff --git a/src/dbofficial/serverdbthread.h b/src/dbofficial/serverdbthread.h
index e75d815f..5362a5c8 100644
--- a/src/dbofficial/serverdbthread.h
+++ b/src/dbofficial/serverdbthread.h
@@ -42,7 +42,6 @@
 #include <dbofficial/dbidmanager.h>
 #include <core/thread.h>
 
-//#include <vector>
 
 struct DBConnectionData;
 class AsyncDBQuery;