Revision c559a371e6d131080fc3c96ecda66167dd0a7b42 authored by tmldeponti on 15 December 2021, 18:15:35 UTC, committed by tmldeponti on 15 December 2021, 18:15:35 UTC
1 parent e7257d9
paparazzi
#!/usr/bin/env /usr/bin/python3
import os
import sys
dirname = os.path.dirname(os.path.abspath(__file__))
PAPARAZZI_HOME = os.getenv("PAPARAZZI_HOME",dirname)
PAPARAZZI_SRC = os.getenv("PAPARAZZI_SRC",PAPARAZZI_HOME)
env = os.environ
env['PAPARAZZI_HOME'] = PAPARAZZI_HOME
env['PAPARAZZI_SRC'] = PAPARAZZI_SRC
if len(sys.argv) > 1 and sys.argv[1] == "-python":
path = os.path.normpath(os.path.join(dirname, 'sw', 'supervision', 'python', 'main.py'))
os.execve(path, sys.argv, env)
else:
path = os.path.normpath(os.path.join(dirname, 'sw', 'supervision', 'paparazzicenter'))
os.execve(path, sys.argv, env)
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...