[orca/gnome-3-8] Add mapping from gnome-terminal-server to gnome-terminal

[Joanmarie Diggs <joanied src gnome org>]

commit 77861b5ae8d74e7b42571fe9767464fa5335327a
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Sun Jun 16 19:14:44 2013 -0400

    Add mapping from gnome-terminal-server to gnome-terminal

 src/orca/script_manager.py |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/src/orca/script_manager.py b/src/orca/script_manager.py
index 05c19e1..a95428e 100644
--- a/src/orca/script_manager.py
+++ b/src/orca/script_manager.py
@@ -61,7 +61,8 @@ class ScriptManager:
              'empathy-chat':     'empathy',
              'gnome-calculator': 'gcalctool',
              'Nereid':           'Banshee',
-             'vte':              'gnome-terminal'}
+             'vte':              'gnome-terminal',
+             'gnome-terminal-server': 'gnome-terminal'}
         self._toolkitNames = \
             {'gtk':              'GAIL',
              'clutter':          'CALLY'}