[gpointing-device-settings] gpds_xinput_pointer_info_free() accepts NULL pointer.

[Hiroyuki Ikezoe <hiikezoe src gnome org>]

commit c11e63072b2b4c941bb32072c446daa7a6ff8418
Author: Hiroyuki Ikezoe <poincare ikezoe net>
Date:   Sat Aug 15 17:24:47 2009 +0900

    gpds_xinput_pointer_info_free() accepts NULL pointer.

 src/gpds-xinput-pointer-info.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/gpds-xinput-pointer-info.c b/src/gpds-xinput-pointer-info.c
index 35eccbb..d38afad 100644
--- a/src/gpds-xinput-pointer-info.c
+++ b/src/gpds-xinput-pointer-info.c
@@ -41,6 +41,8 @@ gpds_xinput_pointer_info_new (const gchar *name, const gchar *type_name)
 void
 gpds_xinput_pointer_info_free (GpdsXInputPointerInfo *info)
 {
+    if (!info)
+        return;
     g_free(info->name);
     g_free(info->type_name);
     g_free(info);