diff service/rdf_to_mqtt/rdf_over_http.py @ 1615:bcfa368e5498

change a Graph.__sub__ to Set.difference in verify() for a big speedup
author drewp@bigasterisk.com
date Mon, 06 Sep 2021 23:20:23 -0700
parents fdddbdaf07b5
children 3f4b447d65f5
line wrap: on
line diff