[libgda] Handle GDA_SERVER_OPERATION_ALTER_USER in gda_server_operation_op_type_to_string()

[Vivien Malerba <vivien src gnome org>]

commit 40fc37a81388531e900d7fae0d703f69c00f4201
Author: Vivien Malerba <malerba gnome-db org>
Date:   Fri Jun 25 21:08:13 2010 +0200

    Handle GDA_SERVER_OPERATION_ALTER_USER in gda_server_operation_op_type_to_string()

 libgda/gda-server-operation.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/libgda/gda-server-operation.c b/libgda/gda-server-operation.c
index 708530c..b5d8090 100644
--- a/libgda/gda-server-operation.c
+++ b/libgda/gda-server-operation.c
@@ -1227,6 +1227,8 @@ gda_server_operation_op_type_to_string (GdaServerOperationType type)
 		return "CREATE_USER";
 	case GDA_SERVER_OPERATION_DROP_USER:
 		return "DROP_USER";
+	case GDA_SERVER_OPERATION_ALTER_USER:
+		return "ALTER_USER";
 	default:
 		g_error (_("Non handled GdaServerOperationType, please report error to "
 			   "http://bugzilla.gnome.org/ for the \"libgda\" product"));