i was wrong about one of my invariants

now it's commented
this should fix asserts when you try an intro point, get a nack,
and try a second one and it works.


svn:r1637

3 files changed, 5 insertions, 2 deletions

diff --git a/src/or/circuit.c b/src/or/circuit.c
index 44e5d438a6..27a754591a 100644
--- a/src/or/circuit.c
+++ b/src/or/circuit.c
@@ -480,6 +480,10 @@ void circuit_expire_building(time_t now) {
        /* c_rend_ready circs measure age since timestamp_dirty,
         * because that's set when they switch purposes
         */
+       /* rend and intro circs become dirty each time they
+        * make an introduction attempt. so timestamp_dirty
+        * will reflect the time since the last attempt.
+        */
        ((victim->purpose == CIRCUIT_PURPOSE_C_REND_READY ||
          victim->purpose == CIRCUIT_PURPOSE_C_REND_READY_INTRO_ACKED ||
          victim->purpose == CIRCUIT_PURPOSE_C_INTRODUCE_ACK_WAIT) &&
diff --git a/src/or/connection_edge.c b/src/or/connection_edge.c
index 975b7158ac..82ab4c0f3b 100644
--- a/src/or/connection_edge.c
+++ b/src/or/connection_edge.c
@@ -948,9 +948,7 @@ int connection_ap_handshake_attach_circuit(connection_t *conn) {
         if(rend_client_send_introduction(introcirc, rendcirc) < 0) {
           return -1;
         }
-        assert(!rendcirc->timestamp_dirty);
         rendcirc->timestamp_dirty = time(NULL);
-        assert(!introcirc->timestamp_dirty);
         introcirc->timestamp_dirty = time(NULL);
         return 0;
       }
diff --git a/src/or/rendclient.c b/src/or/rendclient.c
index 46fd04c049..1a1a33b000 100644
--- a/src/or/rendclient.c
+++ b/src/or/rendclient.c
@@ -166,6 +166,7 @@ rend_client_introduction_acked(circuit_t *circ,
     /* Locate the rend circ which is waiting to hear about this ack,
      * and tell it.
      */
+    log_fn(LOG_INFO,"Received ack. Telling rend circ.");
     rendcirc = circuit_get_by_rend_query_and_purpose(
                circ->rend_query, CIRCUIT_PURPOSE_C_REND_READY);
     if(rendcirc) { /* remember the ack */