Add connection timeout patch for dev-db/mysql-workbench.

[overlay.git] / dev-db / mysql-workbench / files / mysql-workbench-5.2.22-increase-connection-timeout.patch

diff --git a/dev-db/mysql-workbench/files/mysql-workbench-5.2.22-increase-connection-timeout.patch b/dev-db/mysql-workbench/files/mysql-workbench-5.2.22-increase-connection-timeout.patch
new file mode 100644 (file)
index 0000000..e2f6aca
--- /dev/null
+++ b/dev-db/mysql-workbench/files/mysql-workbench-5.2.22-increase-connection-timeout.patch
@@ -0,0 +1,12 @@
+diff -Nur mysql-workbench-oss-5.2.22-orig/library/dbc/src/driver_manager.cpp mysql-workbench-oss-5.2.22/library/dbc/src/driver_manager.cpp
+--- mysql-workbench-oss-5.2.22-orig/library/dbc/src/driver_manager.cpp 2010-06-02 02:37:15.000000000 +0200
++++ mysql-workbench-oss-5.2.22/library/dbc/src/driver_manager.cpp      2010-06-14 12:10:41.000000000 +0200
+@@ -193,7 +193,7 @@
+ 
+   {
+     ConnectPropertyVal tmp;
+-    tmp = (int)5;
++    tmp = (int)30;
+     properties["OPT_CONNECT_TIMEOUT"]= tmp;
+   }
+