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
1 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
2 --- mysql-workbench-oss-5.2.22-orig/library/dbc/src/driver_manager.cpp  2010-06-02 02:37:15.000000000 +0200
3 +++ mysql-workbench-oss-5.2.22/library/dbc/src/driver_manager.cpp       2010-06-14 12:10:41.000000000 +0200
4 @@ -193,7 +193,7 @@
5  
6    {
7      ConnectPropertyVal tmp;
8 -    tmp = (int)5;
9 +    tmp = (int)30;
10      properties["OPT_CONNECT_TIMEOUT"]= tmp;
11    }
12