diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-07-13 20:23:53 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-07-13 20:23:53 +0000 |
commit | b199b782b393d0fc04b5978edd69e36d6ae7ea64 (patch) | |
tree | 5b5f2c590f3e08240f734a255a8db15f413cfb65 /src/cadet/gnunet-service-cadet_peer.h | |
parent | 16d646a12f744c19e307c1c0139e3303a6263806 (diff) | |
download | gnunet-b199b782b393d0fc04b5978edd69e36d6ae7ea64.tar.gz gnunet-b199b782b393d0fc04b5978edd69e36d6ae7ea64.zip |
adding moderately expensive instrumentation to track down invariant violation #3846 in CADET
Diffstat (limited to 'src/cadet/gnunet-service-cadet_peer.h')
-rw-r--r-- | src/cadet/gnunet-service-cadet_peer.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/cadet/gnunet-service-cadet_peer.h b/src/cadet/gnunet-service-cadet_peer.h index 2bebc8d83..cd1873824 100644 --- a/src/cadet/gnunet-service-cadet_peer.h +++ b/src/cadet/gnunet-service-cadet_peer.h | |||
@@ -314,6 +314,17 @@ GCP_remove_path (struct CadetPeer *peer, | |||
314 | 314 | ||
315 | 315 | ||
316 | /** | 316 | /** |
317 | * Check that we are aware of a connection from a neighboring peer. | ||
318 | * | ||
319 | * @param peer Peer to the connection is with | ||
320 | * @param c Connection that should be in the map with this peer. | ||
321 | */ | ||
322 | void | ||
323 | GCP_check_connection (const struct CadetPeer *peer, | ||
324 | const struct CadetConnection *c); | ||
325 | |||
326 | |||
327 | /** | ||
317 | * Remove a connection from a neighboring peer. | 328 | * Remove a connection from a neighboring peer. |
318 | * | 329 | * |
319 | * @param peer Peer to remove connection from. | 330 | * @param peer Peer to remove connection from. |