149
151
* allow multi-line error messages. Decode */
150
152
alert("Error: " + decodeURIComponent(error.toString()) + ".");
151
153
/* Now read the response and set up the page accordingly */
155
157
/* Call the server and perform the action. This mutates the server. */
156
ajax_call(callback, service_app, path, args, "POST", content_type);
158
ajax_call(callback_inner, service_app, path, args, "POST", content_type);
159
161
/** Calls the server using Ajax, requesting a directory listing. This should