File mysql-gui-shell-scripts-args.patch of Package mysql-gui-tools

diff -Naru mysql-gui-tools-5.0r12-orig/mysql-administrator/source/linux/mysql-administrator mysql-gui-tools-5.0r12/mysql-administrator/source/linux/mysql-administrator
--- mysql-gui-tools-5.0r12-orig/mysql-administrator/source/linux/mysql-administrator	2008-11-18 11:38:22.000000000 +0100
+++ mysql-gui-tools-5.0r12/mysql-administrator/source/linux/mysql-administrator	2008-11-18 11:38:40.000000000 +0100
@@ -96,6 +96,8 @@
 EOF
         exit 1
     fi
+else
+    args="$@"
 fi
 ### end stuff needed for bundled gtk libraries
 
diff -Naru mysql-gui-tools-5.0r12-orig/mysql-query-browser/source/linux/mysql-query-browser mysql-gui-tools-5.0r12/mysql-query-browser/source/linux/mysql-query-browser
--- mysql-gui-tools-5.0r12-orig/mysql-query-browser/source/linux/mysql-query-browser	2008-11-18 11:38:20.000000000 +0100
+++ mysql-gui-tools-5.0r12/mysql-query-browser/source/linux/mysql-query-browser	2008-11-18 11:41:01.000000000 +0100
@@ -96,6 +96,8 @@
 EOF
         exit 1
     fi
+else
+    args="$@"
 fi
 ### end stuff needed for bundled gtk libraries
 
diff -Naru mysql-gui-tools-5.0r12-orig/mysql-workbench/source/linux/mysql-workbench mysql-gui-tools-5.0r12/mysql-workbench/source/linux/mysql-workbench
--- mysql-gui-tools-5.0r12-orig/mysql-workbench/source/linux/mysql-workbench	2008-11-18 11:38:24.000000000 +0100
+++ mysql-gui-tools-5.0r12/mysql-workbench/source/linux/mysql-workbench	2008-11-18 11:43:58.000000000 +0100
@@ -96,6 +96,8 @@
 EOF
         exit 1
     fi
+else
+    args="$@"
 fi
 ### end stuff needed for bundled gtk libraries