[orca] Add mapping from gnome-terminal-server to gnome-terminal

[Joanmarie Diggs <joanied src gnome org>]

commit 94930d51276866a0016a955e3c0a475e061cd516
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'}