# HG changeset patch # User Frank Benoit # Date 1220830519 -7200 # Node ID 17757a168f515e17d4abc3d5cc23fdd5cdf0df57 # Parent e0d7f76515aff22dc3de3ee41e699ddaebbcb035 Fix potential seg fault diff -r e0d7f76515af -r 17757a168f51 dwt/graphics/Device.d --- a/dwt/graphics/Device.d Sun Aug 24 20:57:41 2008 +0200 +++ b/dwt/graphics/Device.d Mon Sep 08 01:35:19 2008 +0200 @@ -698,9 +698,7 @@ Device dev = cast(Device)user_data; if (dev.warningLevel is 0) { if (DEBUG || dev.debugging) { - foreach( msg; (new Exception ("")).info ){ - Stderr.formatln( "trc {}", msg ); - } + ExceptionPrintStackTrace(new Exception ("")); } OS.g_log_default_handler (log_domain, log_level, message, user_data); }