[gnome-terminal] server: Set the prgname early

[Christian Persch <chpe src gnome org>]

commit 4b69ca292c940f9bd09e50ed93740365957580e2
Author: Christian Persch <chpe gnome org>
Date:   Thu May 9 15:55:12 2013 +0200

    server: Set the prgname early

 src/server.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/server.c b/src/server.c
index 9195c4a..211af6a 100644
--- a/src/server.c
+++ b/src/server.c
@@ -98,6 +98,7 @@ main (int argc, char **argv)
   if (home_dir == NULL || chdir (home_dir) < 0)
     (void) chdir ("/");
 
+  g_set_prgname ("gnome-terminal-server");
   g_set_application_name (_("Terminal"));
 
   if (!gtk_init_with_args (&argc, &argv, NULL, options, NULL, &error)) {