mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 18:21:39 +01:00
XendDomain.py: Remove domain_db cache -- it's tedious to maintain and has zero use since it gets flushed to the XendDB immediately on every update and it's never consulted except for maintaining it. Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>