diff src/core/sat_main.py @ 936:6404df5305e3

memory: be sure that local_dir exists before creating a new database
author souliane <souliane@mailoo.org>
date Tue, 25 Mar 2014 14:57:38 +0100
parents cbf4122baae7
children c6d8fc63b1db
line wrap: on
line diff