File mysql-workbench-5.1.5-silent-mode-without-debug.patch of Package mysql-workbench

--- frontend/linux/workbench/mysql-workbench.in
+++ frontend/linux/workbench/mysql-workbench.in
@@ -17,8 +17,8 @@
 
 export DBC_DRIVER_PATH="$libdir/mysql-workbench"
 
-if type -p catchsegv > /dev/null; then
+if type -p catchsegv > /dev/null && [ "$DEBUG" ]; then
 catchsegv $bindirname/mysql-workbench-bin $*
 else
-$bindirname/mysql-workbench-bin $*
+$bindirname/mysql-workbench-bin $* > /dev/null 2> /dev/null
 fi