flask server code now essentially in AutoVJ.py