added a global option for flask dev