options should be plain 'int'
authorChristian Grothoff <christian@grothoff.org>
Tue, 13 Sep 2011 10:18:03 +0000 (10:18 +0000)
committerChristian Grothoff <christian@grothoff.org>
Tue, 13 Sep 2011 10:18:03 +0000 (10:18 +0000)
commit7fbb9e8eaf06fa4ca3219832c5e6016be7f4c8b6
treec69374832d8e9fc8b14401104d5096772dd0bfc9
parentd56d318035765539f8c064b91d8bf8bd8d93d78c
options should be plain 'int'
src/dht/gnunet-service-dht.c