check exit status of external solvers
authorDavid Kalnischkies <david@kalnischkies.de>
Fri, 30 May 2014 13:58:30 +0000 (15:58 +0200)
committerDavid Kalnischkies <david@kalnischkies.de>
Fri, 30 May 2014 13:58:30 +0000 (15:58 +0200)
commit5681b3fc2a8e35a12cd7c8e94013611211188459
tree04d5447d4971062420d5a1e5789bb433a5e9dc26
parent58377ceb4b62e8f50ddae8f17ce1511e4bf79a18
check exit status of external solvers

Solvers are supposed to exit successfully even if they haven't found a
solution, but a solver which fails drastically (like e.g. segfaults)
should be detected and dealt with accordingly instead of ignored.
apt-pkg/edsp.cc
apt-pkg/edsp.h