GetTor statistics are not updated since June 3

Today, I noticed that

http://gettor.torproject.org:8080/~gettor/gettor_stats.txt

ends on June 3. Is the GetTor process still running? If so, is there some other problem with updating the gettor_stats.txt file?