--- plugins/build-basic-autotools/plugin.c	2009-03-06 15:03:44.000000000 +0530
+++ plugins/build-basic-autotools/plugin.c	2009-04-03 19:16:44.000000000 +0530
@@ -460,6 +463,9 @@
 static gboolean
 build_context_destroy_view (BuildContext *context)
 {
+	/* Kill the launcher*/
+	anjuta_launcher_signal ( ((BuildContext*)context)->launcher, SIGKILL);
+
 	if (context->message_view)
 	{
 		gtk_widget_destroy (GTK_WIDGET (context->message_view));

