fix #4383
authorChristian Grothoff <christian@grothoff.org>
Fri, 30 Sep 2016 12:58:01 +0000 (12:58 +0000)
committerChristian Grothoff <christian@grothoff.org>
Fri, 30 Sep 2016 12:58:01 +0000 (12:58 +0000)
commit030a97d44c3a36fd62efcb524a974bdc1b8bb48c
treeb3f367720c51f0bcedd1f347b3ed930ab89a7758
parentd32ce3a1d0528519708e2721d752b292aa7ac0a3
fix #4383
src/pt/gnunet-daemon-pt.c