TypeError: this.relay_s is undefined
Another error I see is
Time Stamp: 01.06.2013 10:56:49
Error: TypeError: this.relay_s is undefined
Source: http://crypto.stanford.edu/flashproxy/flashproxy.js
Line: 803
This line contains
|| this.c2r_schedule.length > 0 || this.relay_s.bufferedAmount > 0) ||
This might be an actual issue. I don't know why this error is logged in FF's error console.