On the RHUL server, downloading Dave's texts as JSON produced an empty JSON file, despite there being texts for almost every task up to and include phase 3.
Initially I suspected this was because user Dave wasn't an enrolled student, but that wasn't it because it still didn't work (i.e., produced an empty JSON file: { }) when was enrolled.
On the RHUL server, downloading Dave's texts as JSON produced an empty JSON file, despite there being texts for almost every task up to and include phase 3.
Initially I suspected this was because user Dave wasn't an enrolled student, but that wasn't it because it still didn't work (i.e., produced an empty JSON file:
{ }
) when was enrolled.