tree 6c177ece27fae2c5d922a81db3f4b2f90fd3b5a2
parent dc7d0025d747927a61a08629a266831955344443
author aweber <aweber@89c3eef5-5052-0410-b617-e4420d9a04fc> 1417440032 +0000
committer aweber <aweber@89c3eef5-5052-0410-b617-e4420d9a04fc> 1417440032 +0000

fix for propper SMILA shutdown (#453748)