diff src/plugins/plugin_misc_xmllog.py @ 305:15a12bf2bb62

core: server identities are now save in memory
author Goffi <goffi@goffi.org>
date Thu, 07 Apr 2011 22:21:16 +0200
parents 6422fcdd831c
children f964dcec1611
line wrap: on
line diff