Haha. Looks like we've been pretty inconsistent with indentation spaces in most of our bash scripts... bummer. Please just use 2 spaces to be consistent with `local_server.sh`. Sorry for these stupid and sometimes confusing rules! Gah I should update the style guide sometime to make these things non-decisions.