diff push_cmd.py @ 51:fd5aadd552c8

Catch other varieties of the server not having replay.
author Shun-ichi GOTO <shunichi.goto@gmail.com>
date Sat, 01 Nov 2008 13:05:56 -0500
parents 85fcac4e2291
children 0be16f306a42
line wrap: on
line diff