36
36
var problembox = problemdiv.getElementsByTagName("textarea")[0];
37
37
var code = problembox.value;
39
45
var args = {"code": code, "problem": filename, "action": "run"};
41
47
/* Send the form as multipart/form-data, since we are sending a whole lump