# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@logilab.fr>
# Date 1343394295 -7200
# Node ID 9dda5c1f6a45a1cbbd331aa415083e59fcfad708
# Parent  822e5305e377afc8bad481362fb282edc474b9d2
make compat server both compatible with "dump" and "dump%i" version

diff -r 822e5305e377 -r 9dda5c1f6a45 hgext/obsolete.py
--- a/hgext/obsolete.py	Thu Jul 26 15:23:05 2012 +0200
+++ b/hgext/obsolete.py	Fri Jul 27 15:04:55 2012 +0200
@@ -440,7 +440,7 @@
 
 def pushmarker(repo, key, old, new):
     """Push markers over pushkey"""
-    if key != 'dump':
+    if not key.startswith('dump'):
         repo.ui.warn(_('unknown key: %r') % key)
         return 0
     if old: