def pushPosition(self, andPeek = True):
        self.positionStack.append(self.peekIndex)
        return self.peek() if (andPeek) else None
Called when the connection for this factory is gone.
dataset/ETHPy150Open tabatkins/bikeshed/bikeshed/widlparser/widlparser/tokenizer.py/Tokenizer.pushPosition--crossover with--dataset/ETHPy150Open mochi/udplog/udplog/redis.py/RedisPushMultiClient._disconnected