comparison frontends/src/tools/jid.py @ 2166:1b3fbb76984b

core (memory/cache): escape profile when creating cache dir
author Goffi <goffi@goffi.org>
date Sun, 26 Feb 2017 18:20:27 +0100
parents 2daf7b4c6756
children 8b37a62336c3
comparison
equal deleted inserted replaced
2165:a0fbb2b11fd0 2166:1b3fbb76984b