Project

General

Profile

« Previous | Next » 

Revision ef7c04ac

Added by Marc Dequènes about 14 years ago

  • ID ef7c04acb135f91851c8cc528624cab52d485c27

[evol] mapmaker_client can now exit when all is done (not too early, without race conditions)

View differences:

bin/mapmaker_client
logger.error "Could not connect to MapMaker"
stop
end
# in contact loop, in order to wait for conversation registration to happen
# or the bot would stop before contact is done
try_stop
end
end
end

Also available in: Unified diff