diff options
| author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-07-11 12:28:20 -0300 |
|---|---|---|
| committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-07-14 12:15:25 -0300 |
| commit | 525433088d6fbe3392af90942272dfd5dd2511d6 (patch) | |
| tree | f2d39458b283b09bb45433f72ab2655f7c1df9de /docs/conf.py | |
| parent | 8186e43e1be9e70ab37c1dd923ac8f275c82b556 (diff) | |
Use main process to run frontend.
Running the GUI in a child process gives problems on OSX.
Also, change signal handling since we have less processes.
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions