prevent crash on exit
authorChristian Grothoff <christian@grothoff.org>
Tue, 21 Feb 2017 09:38:09 +0000 (10:38 +0100)
committerChristian Grothoff <christian@grothoff.org>
Tue, 21 Feb 2017 09:38:09 +0000 (10:38 +0100)
commitc1d325e4700772b36fdaf897295c05e9d3f9211c
tree908545b9ad612f9bbde56ac409a28185beb0214e
parent24b8e62f2ed410ad5320f7cd1cace020fbaeb179
prevent crash on exit
src/core/core_api.c