mehrdadnandPhilipp Moritz be26532182 Better code for getting log directory (#198) ...

* get_log_file_path instead of LOG_DIRECTORY

* Tabs -> spaces

Whoops

* Log file extension

2016-07-03 12:58:49 -07:00

..

python

Better code for getting log directory (#198)

2016-07-03 12:58:49 -07:00