From: Arnaud Giersch Date: Thu, 13 Sep 2012 12:57:18 +0000 (+0200) Subject: Avoid to dereference a null pointer with --log=surf_route.thres:debug. X-Git-Tag: v3_8~146^2~52 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/843bda6c658a206ebd22778a0576f101782bcfe9?hp=843bda6c658a206ebd22778a0576f101782bcfe9 Avoid to dereference a null pointer with --log=surf_route.thres:debug. ---