further debugging in server8070.js