Attached the debugger to a given target.

git-svn-id: svn://svn.gna.org/svn/chrysalide/trunk@207 abbe820e-26c8-41b2-8c08-b7b2b41f8b0a

16 files changed, 324 insertions, 62 deletions

diff --git a/src/debug/debugger-int.h b/src/debug/debugger-int.h
index 642efd7..f27667c 100644
--- a/src/debug/debugger-int.h
+++ b/src/debug/debugger-int.h
@@ -32,6 +32,9 @@
 
 
 
+/* Procède au démarrage effectif de la session de débogage. */
+typedef bool (* attach_debugger_fc) (GBinaryDebugger *);
+
 /* Démarre, met en pause ou tue une procédure de débogage. */
 typedef bool (* basic_debugger_fc) (GBinaryDebugger *);
 
@@ -49,6 +52,8 @@ struct _GBinaryDebugger
 
     GOpenidaBinary *binary;                 /* Cible à traiter             */
 
+    attach_debugger_fc attach;              /* Démarre le débogueur        */
+
     basic_debugger_fc run;                  /* Démarre le débogueur        */
     basic_debugger_fc pause;                /* Met en pause le débogueur   */
     resume_debugger_fc resume;              /* Relance le débogueur        */
diff --git a/src/debug/debugger.c b/src/debug/debugger.c
index 7f66a0b..4f5eb19 100644
--- a/src/debug/debugger.c
+++ b/src/debug/debugger.c
@@ -136,6 +136,30 @@ GBinaryDebugger *g_new_binary_debugger(DebuggerType type, GOpenidaBinary *binary
 *                                                                             *
 *  Description : Démarre une procédure de débogage.                           *
 *                                                                             *
+*  Retour      : Bilan de l'opération.                                        *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+bool g_binary_debugger_attach(GBinaryDebugger *debugger)
+{
+    bool result;                            /* Bilan à retourner           */
+
+    if (debugger->attach == NULL) result = true;
+    else result = debugger->attach(debugger);
+
+    return result;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : debugger = débogueur à manipuler ici.                        *
+*                                                                             *
+*  Description : Démarre une procédure de débogage.                           *
+*                                                                             *
 *  Retour      : -                                                            *
 *                                                                             *
 *  Remarques   : -                                                            *
diff --git a/src/debug/debugger.h b/src/debug/debugger.h
index 521d346..e3b90f4 100644
--- a/src/debug/debugger.h
+++ b/src/debug/debugger.h
@@ -76,6 +76,9 @@ GType g_binary_debugger_get_type(void);
 GBinaryDebugger *g_new_binary_debugger(DebuggerType, GOpenidaBinary *);
 
 /* Démarre une procédure de débogage. */
+bool g_binary_debugger_attach(GBinaryDebugger *);
+
+/* Démarre une procédure de débogage. */
 void g_binary_debugger_run(GBinaryDebugger *);
 
 /* Reprend une procédure de débogage. */
diff --git a/src/debug/jdwp/debugger.c b/src/debug/jdwp/debugger.c
index a99c6d0..829d31c 100644
--- a/src/debug/jdwp/debugger.c
+++ b/src/debug/jdwp/debugger.c
@@ -24,12 +24,14 @@
 #include "debugger.h"
 
 
-#include "packet.h"
-#include "tcp.h"
+#include <i18n.h>
 
 
+#include "packet.h"
+#include "tcp.h"
 #include "../debugger-int.h"
 #include "../stream.h"
+#include "../../panels/log.h"
 
 
 
@@ -61,6 +63,8 @@ static void g_java_debugger_class_init(GJavaDebuggerClass *);
 /* Procède à l'initialisation du débogueur utilisant Java. */
 static void g_java_debugger_init(GJavaDebugger *);
 
+/* Procède au démarrage effectif de la session de débogage. */
+static bool g_java_debugger_attach(GJavaDebugger *);
 
 
 /* Indique le type défini par la GLib pour le débogueur java. */
@@ -103,6 +107,9 @@ static void g_java_debugger_init(GJavaDebugger *debugger)
     GBinaryDebugger *parent;                /* Instance parente            */
 
     parent = G_BINARY_DEBUGGER(debugger);
+
+    parent->attach = (attach_debugger_fc)g_java_debugger_attach;
+
 #if 0
     parent->run = (basic_debugger_fc)g_java_debugger_run;
     parent->resume = (resume_debugger_fc)g_java_debugger_resume;
@@ -118,7 +125,7 @@ static void g_java_debugger_init(GJavaDebugger *debugger)
 *  Paramètres  : binary  = binaire représenter à déboguer.                    *
 *                options = paramètres destinés au débogage.                   *
 *                                                                             *
-*  Description : Crée un débogueur utilisant un serveur JAVA distant.          *
+*  Description : Crée un débogueur utilisant un serveur Java distant.         *
 *                                                                             *
 *  Retour      : Instance de débogueur mise en place ou NULL.                 *
 *                                                                             *
@@ -140,65 +147,67 @@ GBinaryDebugger *g_java_debugger_new(GOpenidaBinary *binary, void *options)
 }
 
 
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : debugger = instance du module de débogage chargé.            *
+*                                                                             *
+*  Description : Procède au démarrage effectif de la session de débogage.     *
+*                                                                             *
+*  Retour      : Bilan de l'opération.                                        *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
 
-
-
-
-
-void test_java(void)
+static bool g_java_debugger_attach(GJavaDebugger *debugger)
 {
-    GBinaryDebugger *debugger;
-    GDebugPacket *packet;
-    GDebugPacket *packet2;
-    jdwp_payload *payload;
-
-    printf("JDWP-start !!!!\n");
-
-    printf("size == %d\n", sizeof(jdwp_header));
-
-
-    debugger = g_java_debugger_new(NULL, NULL);
-
+    bool result;                            /* Bilan à retourner           */
+    GDebugPacket *req;                      /* Requête à formuler          */
+    GDebugPacket *ret;                      /* Obtention de la réponse     */
+    jdwp_payload *payload;                  /* Charge utile d'une réponse  */
 
-    g_debug_stream_connect(G_JAVA_DEBUGGER(debugger)->stream);
+    req = NULL;
+    ret = NULL;
 
+    /* Connexion physique */
 
-    packet = g_debug_stream_get_free_packet(G_JAVA_DEBUGGER(debugger)->stream);
+    result = g_debug_stream_connect(debugger->stream);
+    if (!result) goto gjda_error;
 
+    /* Demande de version */
 
-    g_jdwp_packet_set_request_header(G_JDWP_PACKET(packet), JDWP_CST_VIRTUAL_MACHINE, JDWP_CMD_VM_VERSION);
+    req = g_debug_stream_get_free_packet(debugger->stream);
 
-    if (!g_debug_stream_send_packet(G_JAVA_DEBUGGER(debugger)->stream, packet))
-        printf("erreur envoi\n");
+    g_jdwp_packet_set_request_header(G_JDWP_PACKET(req),
+                                     JDWP_CST_VIRTUAL_MACHINE, JDWP_CMD_VM_VERSION);
 
-    packet2 = g_debug_stream_recv_packet(G_JAVA_DEBUGGER(debugger)->stream, (filter_packet_fc)g_jdwp_packet_is_reply, packet);
+    if (!g_debug_stream_send_packet(debugger->stream, req))
+        goto gjda_error;
 
-    if (!packet2)
-        printf("erreur réception\n");
+    ret = g_debug_stream_recv_packet(debugger->stream,
+                                     (filter_packet_fc)g_jdwp_packet_is_reply, req);
+    if (!ret) goto gjda_error;
 
-    if (!g_jdwp_packet_parse_payload(G_JDWP_PACKET(packet2), JDWP_CST_VIRTUAL_MACHINE, JDWP_CMD_VM_VERSION))
-        printf("erreur de décodage\n");
+    if (!g_jdwp_packet_parse_payload(G_JDWP_PACKET(ret), JDWP_CST_VIRTUAL_MACHINE, JDWP_CMD_VM_VERSION))
+        goto gjda_error;
 
-    payload = g_jdwp_packet_get_payload(G_JDWP_PACKET(packet2));
+    payload = g_jdwp_packet_get_payload(G_JDWP_PACKET(ret));
 
+    log_variadic_message(LMT_INFO, _("The debugger is '%s' (JRE %d.%d; VM %s)."),
+                         payload->vs_reply.description.value,
+                         payload->vs_reply.jdwp_major, payload->vs_reply.jdwp_minor,
+                         payload->vs_reply.vm_version.value);
 
+    g_jdwp_packet_free_payload(G_JDWP_PACKET(ret), JDWP_CST_VIRTUAL_MACHINE, JDWP_CMD_VM_VERSION);
 
-    printf("-----------\n");
+ gjda_error:
 
-    printf("desc :: '%s'\n", payload->vs_reply.description.value);
+    if (req != NULL)
+        g_debug_stream_mark_packet_as_free(debugger->stream, req);
 
-    printf("version :: %d.%d\n", payload->vs_reply.jdwp_major, payload->vs_reply.jdwp_minor);
+    if (ret != NULL)
+        g_debug_stream_mark_packet_as_free(debugger->stream, ret);
 
-    printf("version :: '%s'\n", payload->vs_reply.vm_version.value);
-    printf("name :: '%s'\n", payload->vs_reply.vm_name.value);
-
-    printf("-----------\n");
-
-
-
-    g_jdwp_packet_free_payload(G_JDWP_PACKET(packet2), JDWP_CST_VIRTUAL_MACHINE, JDWP_CMD_VM_VERSION);
-
-
-    printf("JDWP-end !!!!\n");
+    return result;
 
 }
diff --git a/src/debug/jdwp/tcp.c b/src/debug/jdwp/tcp.c
index 38acd29..d4ec1d7 100644
--- a/src/debug/jdwp/tcp.c
+++ b/src/debug/jdwp/tcp.c
@@ -32,11 +32,15 @@
 #include <sys/types.h>
 
 
+#include <i18n.h>
+
+
 #include "packet.h"
 #include "misc/header.h"
 #include "sets/list.h"
 #include "../stream-int.h"
 #include "../../common/net.h"
+#include "../../panels/log.h"
 
 
 
@@ -180,12 +184,14 @@ static bool g_jdwp_tcp_client_connect(GJdwpTcpClient *client)
     sock = connect_via_tcp(client->server, client->port, &addr);
     if (sock == -1)
     {
-        printf("Echec de connexion au serveur JDWP sur %s:%s\n",
-               client->server, client->port);
+        log_variadic_message(LMT_ERROR, _("Error while connecting to the JDWP server at %s:%s."),
+                             //printf("Echec de connexion au serveur JDWP sur %s:%s\n",
+                             client->server, client->port);
         return false;
     }
 
-    printf("Connecté à %s:%hd\n", client->server, ntohs(addr.sin_port));
+    log_variadic_message(LMT_PROCESS, _("Connected to %s:%hd."),
+                         client->server, ntohs(addr.sin_port));
 
     if (send(sock, "JDWP-Handshake", 14, 0) != 14)
         goto gjtcc_error;
@@ -202,7 +208,7 @@ static bool g_jdwp_tcp_client_connect(GJdwpTcpClient *client)
 
  gjtcc_error:
 
-    printf("Echec des premiers échanges !\n");
+    log_simple_message(LMT_ERROR, _("Failure in the first JDWP handshake."));
 
     close(sock);
 
diff --git a/src/editor.c b/src/editor.c
index 78d890e..4211b73 100644
--- a/src/editor.c
+++ b/src/editor.c
@@ -269,7 +269,7 @@ GtkWidget *create_editor(void)
 
     /* Intégration des menus */
 
-    editem = g_menu_bar_new(ref);
+    editem = g_menu_bar_new(ref, accgroup);
     menuboard = g_editor_item_get_widget(editem);
     gtk_box_pack_start(GTK_BOX(vbox1), menuboard, FALSE, FALSE, 0);
 
@@ -891,7 +891,7 @@ void mcb_view_change_support(GtkRadioMenuItem *menuitem, GObject *ref)
     GSList *iter;                           /* Boucle de parcours          */
     BinaryView view;                        /* Nouvelle vue à présenter    */
     GOpenidaBinary *binary;                 /* Edition courante            */
-    GtkViewPanel *pview;                     /* Afficheur effectif de code  */
+    GtkViewPanel *pview;                    /* Afficheur effectif de code  */
     GtkWidget *panel;                       /* Nouveau support à utiliser  */
     GDockItem *ditem;                       /* Panneau avec ses infos.     */
 
diff --git a/src/gui/menus/Makefile.am b/src/gui/menus/Makefile.am
index b9e127d..36fffc2 100644
--- a/src/gui/menus/Makefile.am
+++ b/src/gui/menus/Makefile.am
@@ -2,6 +2,7 @@
 noinst_LTLIBRARIES  = libguimenus.la
 
 libguimenus_la_SOURCES =				\
+	debug.h debug.c						\
 	help.h help.c						\
 	menubar.h menubar.c
 
diff --git a/src/gui/menus/debug.c b/src/gui/menus/debug.c
new file mode 100644
index 0000000..366d789
--- /dev/null
+++ b/src/gui/menus/debug.c
@@ -0,0 +1,128 @@
+
+/* OpenIDA - Outil d'analyse de fichiers binaires
+ * debug.c - gestion du menu 'Débogage'
+ *
+ * Copyright (C) 2011 Cyrille Bagard
+ *
+ *  This file is part of OpenIDA.
+ *
+ *  OpenIDA is free software; you can redistribute it and/or modify
+ *  it under the terms of the GNU General Public License as published by
+ *  the Free Software Foundation; either version 3 of the License, or
+ *  (at your option) any later version.
+ *
+ *  OpenIDA is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU General Public License for more details.
+ *
+ *  You should have received a copy of the GNU General Public License
+ *  along with this program; if not, write to the Free Software
+ *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ */
+
+
+#include "debug.h"
+
+
+#include <string.h>
+
+
+#include <i18n.h>
+
+
+#include "../../project.h"
+#include "../../gtkext/easygtk.h"
+#include "../../panels/log.h"
+
+
+
+/* Réagit avec le menu "Débogage -> Démarrer/Arrêter". */
+static void mcb_debug_start_stop(GtkMenuItem *, GObject *);
+
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : ref      = espace de référencement global.                   *
+*                accgroup = groupe d'accélérateurs pour les menus.            *
+*                                                                             *
+*  Description : Construit le menu "Aide".                                    *
+*                                                                             *
+*  Retour      : Panneau de menus mis en place.                               *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+GtkWidget *build_menu_debug(GObject *ref, GtkAccelGroup *accgroup)
+{
+    GtkWidget *result;                      /* Support à retourner         */
+    GtkWidget *menubar;                     /* Support pour éléments       */
+    GtkWidget *submenuitem;                 /* Sous-élément de menu        */
+
+    result = gtk_menu_item_new_with_mnemonic(_("_Debug"));
+    gtk_widget_show(result);
+
+    menubar = gtk_menu_new();
+    gtk_menu_item_set_submenu(GTK_MENU_ITEM(result), menubar);
+
+    submenuitem = qck_create_menu_item(ref, "mnu_start_stop", _("Start"), G_CALLBACK(mcb_debug_start_stop), ref);
+    add_accelerator_to_menu_item(submenuitem, "F9", accgroup);
+    gtk_container_add(GTK_CONTAINER(menubar), submenuitem);
+
+    submenuitem = qck_create_menu_separator();
+    gtk_container_add(GTK_CONTAINER(menubar), submenuitem);
+
+    return result;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : menuitem = élément de menu sélectionné.                      *
+*                ref      = adresse de l'espace de référencement global.      *
+*                                                                             *
+*  Description : Réagit avec le menu "Débogage -> Démarrer/Arrêter".          *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void mcb_debug_start_stop(GtkMenuItem *menuitem, GObject *ref)
+{
+    GOpenidaBinary *binary;                 /* Edition courante            */
+    GBinaryDebugger *debugger;              /* Module prêt à emploi        */
+
+    binary = (GOpenidaBinary *)g_object_get_data(ref, "current_binary");
+    debugger = get_main_debugger_for_binary(get_current_openida_project(), binary);
+
+    if (debugger == NULL)
+    {
+        log_simple_message(LMT_ERROR, _("No available debug module for this binary !"));
+        return;
+    }
+
+    if (strcmp(gtk_menu_item_get_label(menuitem), _("Start")) == 0)
+    {
+        if (!g_binary_debugger_attach(debugger))
+        {
+            log_simple_message(LMT_ERROR, _("Failed to initialize the debugger."));
+            return;
+        }
+
+        gtk_menu_item_set_label(menuitem, _("Stop"));
+
+    }
+    else
+    {
+        /* TODO */
+
+        gtk_menu_item_set_label(menuitem, _("Start"));
+
+    }
+
+}
diff --git a/src/gui/menus/debug.h b/src/gui/menus/debug.h
new file mode 100644
index 0000000..7b08f60
--- /dev/null
+++ b/src/gui/menus/debug.h
@@ -0,0 +1,38 @@
+
+/* OpenIDA - Outil d'analyse de fichiers binaires
+ * debug.h - prototypes pour la gestion du menu 'Débogage'
+ *
+ * Copyright (C) 2011 Cyrille Bagard
+ *
+ *  This file is part of OpenIDA.
+ *
+ *  OpenIDA is free software; you can redistribute it and/or modify
+ *  it under the terms of the GNU General Public License as published by
+ *  the Free Software Foundation; either version 3 of the License, or
+ *  (at your option) any later version.
+ *
+ *  OpenIDA is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU General Public License for more details.
+ *
+ *  You should have received a copy of the GNU General Public License
+ *  along with this program; if not, write to the Free Software
+ *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ */
+
+
+#ifndef _GUI_MENUS_DEBUG_H
+#define _GUI_MENUS_DEBUG_H
+
+
+#include <gtk/gtk.h>
+
+
+
+/* Construit le menu "Aide". */
+GtkWidget *build_menu_debug(GObject *, GtkAccelGroup *);
+
+
+
+#endif  /* _GUI_MENUS_DEBUG_H */
diff --git a/src/gui/menus/help.c b/src/gui/menus/help.c
index b1fb545..eb17301 100644
--- a/src/gui/menus/help.c
+++ b/src/gui/menus/help.c
@@ -40,7 +40,8 @@ static void mcb_help_about(GtkMenuItem *, GObject *);
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : ref = espace de référencement global.                        *
+*  Paramètres  : ref      = espace de référencement global.                   *
+*                accgroup = groupe d'accélérateurs pour les menus.            *
 *                                                                             *
 *  Description : Construit le menu "Aide".                                    *
 *                                                                             *
@@ -50,7 +51,7 @@ static void mcb_help_about(GtkMenuItem *, GObject *);
 *                                                                             *
 ******************************************************************************/
 
-GtkWidget *build_menu_help(GObject *ref)
+GtkWidget *build_menu_help(GObject *ref, GtkAccelGroup *accgroup)
 {
     GtkWidget *result;                      /* Support à retourner         */
     GtkWidget *menubar;                     /* Support pour éléments       */
diff --git a/src/gui/menus/help.h b/src/gui/menus/help.h
index 0c2d345..675a9e7 100644
--- a/src/gui/menus/help.h
+++ b/src/gui/menus/help.h
@@ -31,7 +31,7 @@
 
 
 /* Construit le menu "Aide". */
-GtkWidget *build_menu_help(GObject *);
+GtkWidget *build_menu_help(GObject *, GtkAccelGroup *);
 
 
 
diff --git a/src/gui/menus/menubar.c b/src/gui/menus/menubar.c
index af27888..4718caa 100644
--- a/src/gui/menus/menubar.c
+++ b/src/gui/menus/menubar.c
@@ -25,6 +25,7 @@
 #include "menubar.h"
 
 
+#include "debug.h"
 #include "help.h"
 #include "../editem-int.h"
 
@@ -104,10 +105,8 @@ static void g_menu_bar_init(GMenuBar *bar)
 
 /******************************************************************************
 *                                                                             *
-*  Paramètres  : ref    = espace de référencement global.                     *
-*                name   = nom associé à l'élément.                            *
-*                widget = composant à présenter à l'affichage.                *
-*                label  = étiquette destinée au menu.                         *
+*  Paramètres  : ref      = espace de référencement global.                   *
+*                accgroup = groupe d'accélérateurs pour les menus.            *
 *                                                                             *
 *  Description : Compose la barre de menus principale.                        *
 *                                                                             *
@@ -117,7 +116,7 @@ static void g_menu_bar_init(GMenuBar *bar)
 *                                                                             *
 ******************************************************************************/
 
-GEditorItem *g_menu_bar_new(GObject *ref)
+GEditorItem *g_menu_bar_new(GObject *ref, GtkAccelGroup *accgroup)
 {
     GMenuBar *result;                       /* Structure à retourner       */
     GEditorItem *item;                      /* Autre version de l'élément  */
@@ -132,9 +131,14 @@ GEditorItem *g_menu_bar_new(GObject *ref)
     g_object_ref(ref);
     item->ref = ref;
 
+    /* Débogage */
+
+    menuitem = build_menu_debug(ref, accgroup);
+    gtk_container_add(GTK_CONTAINER(item->widget), menuitem);
+
     /* Aide */
 
-    menuitem = build_menu_help(ref);
+    menuitem = build_menu_help(ref, accgroup);
     gtk_container_add(GTK_CONTAINER(item->widget), menuitem);
 
     return G_EDITOR_ITEM(result);
diff --git a/src/gui/menus/menubar.h b/src/gui/menus/menubar.h
index e7dcf6d..ffb4c87 100644
--- a/src/gui/menus/menubar.h
+++ b/src/gui/menus/menubar.h
@@ -49,7 +49,7 @@ typedef struct _GMenuBarClass GMenuBarClass;
 GType g_menu_bar_get_type(void);
 
 /* Compose la barre de menus principale. */
-GEditorItem *g_menu_bar_new(GObject *);
+GEditorItem *g_menu_bar_new(GObject *, GtkAccelGroup *);
 
 
 
diff --git a/src/project.c b/src/project.c
index 70cbef1..60767be 100644
--- a/src/project.c
+++ b/src/project.c
@@ -614,6 +614,42 @@ const GOpenidaBinary **get_openida_project_binaries(const openida_project *proje
 
 
 
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : project = projet à consulter.                                *
+*                binary  = binaire chargé, encadré et concerné.               *
+*                                                                             *
+*  Description : Fournit un module de débogage prêt à emploi.                 *
+*                                                                             *
+*  Retour      : Instance prête à devenir effective.                          *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+GBinaryDebugger *get_main_debugger_for_binary(const openida_project *project, const GOpenidaBinary *binary)
+{
+    return g_java_debugger_new(binary, NULL);       /* FIXME */
+
+}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
 /* ---------------------------------------------------------------------------------- */
 /*                        PARTIE GRAPHIQUE DES [DE]CHARGEMENTS                        */
 /* ---------------------------------------------------------------------------------- */
diff --git a/src/project.h b/src/project.h
index 7f45c28..d9b36c1 100644
--- a/src/project.h
+++ b/src/project.h
@@ -29,6 +29,7 @@
 
 
 #include "analysis/binary.h"
+#include "debug/debugger.h"
 #include "gtkext/gtkviewpanel.h"
 #include "gtkext/gtkdockitem.h"
 
@@ -95,6 +96,12 @@ const GOpenidaBinary **get_openida_project_binaries(const openida_project *, siz
 
 
 
+/* Fournit un module de débogage prêt à emploi. */
+GBinaryDebugger *get_main_debugger_for_binary(const openida_project *, const GOpenidaBinary *);
+
+
+
+
 
 /* ---------------------- PARTIE GRAPHIQUE DES [DE]CHARGEMENTS ---------------------- */
 
diff --git a/src/shell.c b/src/shell.c
index 76e26bb..78e807f 100644
--- a/src/shell.c
+++ b/src/shell.c
@@ -161,7 +161,7 @@ GtkWidget *build_shell_panel(GObject *ref)
 static void terminal_child_exited_cb(VteReaper *reaper, GPid pid, gint status, VteTerminal *term)
 {
 
-    vte_terminal_feed(term, _("Exit detected ; lauching an new Python shell...\n\r"), -1);
+    //vte_terminal_feed(term, ("Exit detected ; lauching an new Python shell...\n\r"), -1);
 
 
     run_new_shell_in_terminal(term);