2 commits

Author	SHA1	Message	Date
Christoph Hartmann	8258d111ef	rename json to minijson and fulljson to json	2016-05-06 13:27:42 +02:00
Dominik Richter	b14495051a	prevent duplicate profile-loading ... this happens when the profile is run (exec) and also interpreted (via profile.params). It will load 2 profile context calls (both via Runner) which in turn gets 2 rounds of interpreter+runner executions. This is an issue with auto-generated IDs, due to their random component, which changes in this case	2016-05-06 13:14:40 +02:00