display a warning message if the alarm handler (timeout) was triggered
authorWolfram Schneider <wosch@indexdata.dk>
Wed, 5 Nov 2014 09:53:22 +0000 (09:53 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Wed, 5 Nov 2014 09:53:22 +0000 (09:53 +0000)

No differences found