On Thu, Mar 5, 2015 at 7:20 PM, Amit Kucheria wrote:
> On Thu, Mar 5, 2015 at 3:49 PM, Vincent Guittot
> wrote:
>> On 19 November 2014 at 14:14, pi-cheng.chen wrote:
>>> +
>>> +if __name__ == '__main__':
>>> +tmp = 'tmp.json'
>>
>> your tmp file should be a bit more unique than tmp.json. I c
On Thu, Mar 5, 2015 at 3:49 PM, Vincent Guittot
wrote:
> On 19 November 2014 at 14:14, pi-cheng.chen wrote:
>> This scripts strips all comments in the input JSON file, modifies the
>> parameters according to commnad line arguments, and write the content to a
>> new
>> JSON file.
>>
>> Signed-off
On 19 November 2014 at 14:14, pi-cheng.chen wrote:
> This scripts strips all comments in the input JSON file, modifies the
> parameters according to commnad line arguments, and write the content to a new
> JSON file.
>
> Signed-off-by: Pi-Cheng Chen
> ---
> doc/tune_json.py | 138
>
This scripts strips all comments in the input JSON file, modifies the
parameters according to commnad line arguments, and write the content to a new
JSON file.
Signed-off-by: Pi-Cheng Chen
---
doc/tune_json.py | 138 +++
1 file changed, 138 ins
