Fix #533

I copied the get_ranges() function into VideoServer.py.