Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill global_routing->get_route_or_null
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 10 Nov 2011 17:05:39 +0000 (18:05 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 10 Nov 2011 17:44:53 +0000 (18:44 +0100)
commit65dc5e18ada92df9d138177c059be127a10810f5
tree4feccb5b408e0c48a06ab13d7436a721b2c09bd3
parent25b7437ec8c9772f40dade724b77b13524e03fb7
Kill global_routing->get_route_or_null

It was used at only one location, so I setup a TRY/CATCH in there
instead
src/instr/instr_routing.c
src/surf/surf_private.h
src/surf/surf_routing.c