chiark / gitweb /
debug logging: replace logprogress and if(dtxt!=null)... with debuglog() function