# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1619302078 25200
# Node ID 436d8e5ea294264c08e1475492c140103ae7f95e
# Parent  7d28efc8dfa1042bb2cf988664597a369e3e3b43
python3

diff -r 7d28efc8dfa1 -r 436d8e5ea294 silvermirror/unify.py
--- a/silvermirror/unify.py	Thu Feb 23 09:35:11 2017 -0800
+++ b/silvermirror/unify.py	Sat Apr 24 15:07:58 2021 -0700
@@ -59,7 +59,7 @@
         # XXX  regexps for now (see `man unison`)
         # - this is bad as whitespace patterns cannot be ignored
         ignore = main['ignore'][:]
-        if config[resource].has_key('ignore'):
+        if 'ignore' in config[resource]:
             ignore += config[resource]['ignore'].split()
         config[resource]['ignore'] = ignore