diff --git a/src/libvlc-common.c b/src/libvlc-common.c
index c33e6a736641397e6f697ea3f37e281bcc727a4d..3109b1803d30c960b7d47540bbe4c1653cd12dbd 100644
--- a/src/libvlc-common.c
+++ b/src/libvlc-common.c
@@ -1795,6 +1795,11 @@ static void InitDeviceValues( libvlc_int_t *p_vlc )
     p_connection = dbus_bus_get ( DBUS_BUS_SYSTEM, &error );
     if( dbus_error_is_set( &error ) )
     {
+#ifdef HAVE_HAL_1
+        libhal_ctx_shutdown( ctx, NULL );
+#else
+        hal_shutdown( ctx );
+#endif
         dbus_error_free( &error );
         return;
     }