Annotation of parser3/src/main/pa_request.C, revision 1.473
1.54 paf 1: /** @file
1.55 paf 2: Parser: request class main part. @see compile.C and execute.C.
3:
1.439 moko 4: Copyright (c) 2001-2026 Art. Lebedev Studio (https://www.artlebedev.com)
1.418 moko 5: Authors: Konstantin Morshnev <moko@design.ru>, Alexandr Petrosian <paf@design.ru>
1.218 paf 6: */
1.55 paf 7:
1.69 paf 8: #include "pa_sapi.h"
1.53 paf 9: #include "pa_common.h"
1.372 moko 10: #include "pa_os.h"
1.1 paf 11: #include "pa_request.h"
1.3 paf 12: #include "pa_wwrapper.h"
13: #include "pa_vclass.h"
1.31 paf 14: #include "pa_globals.h"
1.30 paf 15: #include "pa_vint.h"
1.297 misha 16: #include "pa_vmethod_frame.h"
1.32 paf 17: #include "pa_types.h"
1.248 paf 18: #include "pa_venv.h"
19: #include "pa_vmath.h"
20: #include "pa_vstatus.h"
21: #include "pa_vrequest.h"
1.78 paf 22: #include "pa_vtable.h"
1.90 paf 23: #include "pa_vfile.h"
1.147 parser 24: #include "pa_dictionary.h"
1.208 paf 25: #include "pa_charset.h"
1.186 paf 26: #include "pa_charsets.h"
1.248 paf 27: #include "pa_cache_managers.h"
1.402 moko 28: #include "pa_http.h"
1.464 moko 29: #include "pa_websocket.h"
1.248 paf 30: #include "pa_vmail.h"
31: #include "pa_vform.h"
32: #include "pa_vcookie.h"
33: #include "pa_vresponse.h"
34: #include "pa_vmemory.h"
1.253 paf 35: #include "pa_vconsole.h"
1.267 paf 36: #include "pa_vdate.h"
1.424 moko 37: #include "pa_varray.h"
1.458 moko 38: #include "pa_code_cache.h"
1.159 parser 39:
1.473 ! moko 40: volatile const char * IDENT_PA_REQUEST_C="$Id: pa_request.C,v 1.472 2026/10/27 23:38:52 moko Exp $" IDENT_PA_REQUEST_H IDENT_PA_REQUEST_CHARSETS_H IDENT_PA_REQUEST_INFO_H IDENT_PA_VCONSOLE_H;
1.329 moko 41:
1.248 paf 42: // consts
43:
1.269 paf 44: #define UNHANDLED_EXCEPTION_METHOD_NAME "unhandled_exception"
1.207 paf 45:
1.82 paf 46: /// content type of response when no $MAIN:defaults.content-type defined
1.248 paf 47: const char* DEFAULT_CONTENT_TYPE="text/html";
48:
1.449 moko 49: // One recursion level uses ~0.85KB of stack under linux/gcc, ~1KB under win32 and ~2KB under win64.
50: // MSVC win64 exception handling requires an extra ~10KB !!! for each throw, and execute() catches and
51: // rethrows on every level to provide a stack trace.
1.450 moko 52: // So 1000 levels need ~1MB under linux (default 8MB stack is enough) and ~2+10=12MB under win64.
53: // Worse, win64 keeps the unwound frames until the catch block returns, so a handler running away
54: // in its turn starts on top of them and needs one more such budget. The stack is set to 40MB in
55: // the MSVC project settings to allow nested three runaways.
1.449 moko 56: const int EXECUTE_RECURSION_LIMIT=1000;
57: const int EXECUTE_RECURSION_RESERVE=100;
58:
1.446 moko 59: const int LOOP_LIMIT=100000;
60: const int ARRAY_LIMIT=1000000;
61: const int HTTPD_TIMEOUT=4;
1.465 moko 62: const size_t FILE_SIZE_LIMIT=512*0x400*0x400; // 512MB
63: const size_t POST_MAX_SIZE=10*0x400*0x400; // 10MB
1.361 moko 64:
1.248 paf 65: // defines for globals
66:
67: #define MAIN_METHOD_NAME "main"
68: #define AUTO_METHOD_NAME "auto"
1.364 moko 69: #define USE_METHOD_NAME "use"
1.309 misha 70: #define AUTOUSE_METHOD_NAME "autouse"
1.364 moko 71:
72: #define ORIGIN_KEY "origin"
73:
1.248 paf 74: // globals
75:
76: const String main_method_name(MAIN_METHOD_NAME);
77: const String auto_method_name(AUTO_METHOD_NAME);
1.364 moko 78: static const String use_method_name(USE_METHOD_NAME);
79: static const String autouse_method_name(AUTOUSE_METHOD_NAME);
1.311 misha 80:
1.364 moko 81: static const String origin_key(ORIGIN_KEY);
82:
1.369 moko 83: int pa_loop_limit=LOOP_LIMIT;
1.425 moko 84: int pa_array_limit=ARRAY_LIMIT;
1.427 moko 85: int pa_execute_recursion_limit=EXECUTE_RECURSION_LIMIT;
1.390 moko 86: int pa_httpd_timeout=HTTPD_TIMEOUT;
1.469 moko 87: THREAD_LOCAL size_t pa_file_size_limit=FILE_SIZE_LIMIT;
88: THREAD_LOCAL size_t pa_post_max_size=POST_MAX_SIZE;
1.361 moko 89:
1.248 paf 90: // defines for statics
91:
92: #define MIME_TYPES_NAME "MIME-TYPES"
93: #define CLASS_PATH_NAME "CLASS_PATH"
94:
1.344 moko 95: #define DOWNLOAD_NAME_UPPER "DOWNLOAD"
96: #define BODY_NAME_UPPER "BODY"
97:
1.248 paf 98: // statics
99:
100: static const String main_class_name(MAIN_CLASS_NAME);
101: static const String mime_types_name(MIME_TYPES_NAME);
1.395 moko 102: static const String class_path_name(CLASS_PATH_NAME);
1.361 moko 103:
1.395 moko 104: static const String charsets_name("CHARSETS");
105: static const String strict_vars_name("STRICT-VARS");
106: static const String prototype_name("OBJECT-PROTOTYPE");
1.415 moko 107: static const String getter_protected_name("CLASS-GETTER-PROTECTED");
108: static const String locals_name("LOCALS");
1.395 moko 109: static const String limits_name("LIMITS");
110: static const String loop_limit_name("max_loop");
1.425 moko 111: static const String array_limit_name("max_array_size");
1.427 moko 112: static const String recursion_limit_name("max_recursion");
1.395 moko 113: static const String file_size_limit_name("max_file_size");
1.465 moko 114: static const String post_max_size_name("post_max_size");
1.395 moko 115: static const String lock_wait_timeout_name("lock_wait_timeout");
116: static const String httpd_name("HTTPD");
117: static const String httpd_timeout_name("timeout");
1.402 moko 118: static const String httpd_mode_name("mode");
1.471 moko 119: static const String httpd_max_connections_name("max-connections");
1.458 moko 120: #ifdef CODE_CACHE
121: static const String httpd_code_cache_name("code-cache");
122: #endif
1.395 moko 123:
124: static const String conf_method_name("conf");
125: static const String post_process_method_name("postprocess");
126: static const String response_body_file_name("file");
1.248 paf 127:
1.344 moko 128: static const String download_name_upper(DOWNLOAD_NAME_UPPER);
129: static const String body_name_upper(BODY_NAME_UPPER);
130:
131: // more static
132:
133: static const String content_type_name_upper(HTTP_CONTENT_TYPE_UPPER);
134: static const String content_disposition_name_upper(CONTENT_DISPOSITION_UPPER);
1.392 moko 135: static const String content_disposition_inline(CONTENT_DISPOSITION_INLINE);
1.344 moko 136: static const String content_disposition_attachment(CONTENT_DISPOSITION_ATTACHMENT);
137:
1.420 moko 138: const String content_disposition_filename_name(CONTENT_DISPOSITION_FILENAME_NAME);
139: const String content_disposition_filename_name_asterisk("filename*");
140:
1.248 paf 141: // defines
1.82 paf 142:
1.344 moko 143: #define CHARSET_NAME_UPPER "CHARSET"
144: #define LAST_MODIFIED_NAME_UPPER "LAST-MODIFIED"
145:
1.233 paf 146: // op.C
1.248 paf 147: VStateless_class& VClassMAIN_create();
1.123 paf 148:
1.157 parser 149: //
1.445 moko 150: void Request::recursion_limit_reached() {
151: if(execute_recursion_limit>pa_execute_recursion_limit)
152: throw Recursion_limit_exception();
153:
154: execute_recursion_limit+=EXECUTE_RECURSION_RESERVE;
155: throw Exception(PARSER_RUNTIME, 0, "call canceled - endless recursion detected");
156: }
157:
1.473 ! moko 158: void Request::throw_interrupted() {
! 159: finterrupted=0;
! 160: set_skip(SKIP_NOTHING);
! 161: throw Exception("parser.interrupted", 0, "response timeout (%d s) exceeded", response.timeout);
! 162: }
! 163:
1.408 moko 164: Request::Request(SAPI_Info& asapi_info, Request_info& arequest_info, String::Language adefault_lang):
1.248 paf 165: // private
1.427 moko 166: anti_endless_execute_recursion(0),
1.445 moko 167: execute_recursion_limit(pa_execute_recursion_limit),
1.248 paf 168:
169: // public
1.335 moko 170: allow_class_replace(false),
1.248 paf 171: method_frame(0),
172: rcontext(0),
173: wcontext(0),
1.191 paf 174: fconnection(0),
1.371 moko 175: fin_cycle(0),
1.307 misha 176: fskip(SKIP_NOTHING),
1.473 ! moko 177: finterrupted(0),
1.248 paf 178:
179: // public
1.257 paf 180: request_info(arequest_info),
1.248 paf 181: sapi_info(asapi_info),
1.359 moko 182: charsets(pa_UTF8_charset, pa_UTF8_charset, pa_UTF8_charset), // default charsets
1.248 paf 183:
184: main_class(VClassMAIN_create()),
1.260 paf 185: form(*new VForm(charsets, arequest_info)),
1.248 paf 186: mail(*new VMail),
1.462 moko 187: response(*new VResponse(arequest_info, charsets, adefault_lang)),
1.298 misha 188: cookie(*new VCookie(charsets, arequest_info)),
1.285 misha 189: console(*new VConsole),
1.464 moko 190: websocket(0),
1.248 paf 191:
192: // private
193: configure_admin_done(false),
194:
195: // private mime types
1.464 moko 196: mime_types(0)
1.157 parser 197: {
1.248 paf 198: // file_no=0 => unknown
1.434 moko 199: file_list+=String::Body("UNKNOWN");
200: file_list+=String::Body("-body of process-"); // pseudo_file_no__process
1.458 moko 201: #ifdef CODE_CACHE
202: Code_cache_manager::add_files(file_list);
203: #endif
1.186 paf 204:
1.178 paf 205: // maybe expire old caches
1.264 paf 206: cache_managers->maybe_expire();
1.178 paf 207:
1.157 parser 208: /// directly used
1.233 paf 209: // MAIN class, operators
1.353 moko 210: put_class(&main_class);
1.157 parser 211: // classes:
212: // table, file, random, mail, image, ...
1.248 paf 213: methoded_array().register_directly_used(*this);
1.157 parser 214:
215: /// methodless
1.354 moko 216:
1.157 parser 217: // env class
1.353 moko 218: put_class(new VEnv(asapi_info));
1.175 paf 219: // status class
1.353 moko 220: put_class(new VStatus());
1.157 parser 221: // request class
1.353 moko 222: put_class(new VRequest(arequest_info, charsets, form, asapi_info));
1.157 parser 223: // cookie class
1.353 moko 224: put_class(&cookie);
1.253 paf 225: // console class
1.353 moko 226: put_class(&console);
1.354 moko 227:
1.157 parser 228: /// methoded
1.354 moko 229:
1.157 parser 230: // response class
1.353 moko 231: put_class(&response);
1.157 parser 232: // form class
1.353 moko 233: put_class(&form);
1.213 paf 234: // mail class
1.353 moko 235: put_class(&mail);
1.157 parser 236: // math class
1.353 moko 237: put_class(new VMath);
1.248 paf 238: // memory class
1.353 moko 239: put_class(new VMemory);
1.472 moko 240:
241: // the last: the destructor is not called if the constructor throws
242: thread_request=this;
1.117 paf 243: }
1.192 paf 244:
245: Request::~Request() {
1.472 moko 246: thread_request=0;
247:
1.192 paf 248: #ifdef XML
249: // if for some strange reason xml generic errors failed to be reported, free them up
1.248 paf 250: if(const char* xml_generic_errors=xmlGenericErrors()) {
251: SAPI::log(sapi_info, "warning: unreported xmlGenericErrors: %s", xml_generic_errors);
1.341 moko 252: pa_free((void *)xml_generic_errors);
1.192 paf 253: }
254: #endif
255: }
1.236 paf 256:
1.248 paf 257: Value& Request::get_self() { return method_frame/*always have!*/->self(); }
1.192 paf 258:
1.355 moko 259: VStateless_class* Request::get_class(const String& name){
260: VStateless_class* result=classes().get(name);
1.313 misha 261: if(!result)
1.375 moko 262: if(const Method *method=main_class.get_element_method(autouse_method_name)){
1.364 moko 263: Value *vname=new VString(name);
264: CONSTRUCTOR_FRAME_ACTION(*method, 0 /*no parent*/, main_class, {
265: frame.store_params(&vname, 1);
266: // we don't need the result
267: call(frame);
268: });
269: result=classes().get(name);
270: }
1.309 misha 271: return result;
272: }
273:
1.411 moko 274: VStateless_class& Request::get_class_ref(const String& name){
275: VStateless_class* result=get_class(name);
276: if(!result)
277: throw Exception(PARSER_RUNTIME, &name, "class is undefined");
278: return *result;
279: }
280:
1.424 moko 281: bool Request::add_class(const char* atype, VStateless_class *aclass){
1.436 moko 282: if(!classes().put_dont_replace(String::Body(atype), aclass))
283: return true;
1.437 moko 284: if(!allow_class_replace && strcmp(atype, VARRAY_TYPE))
285: return false;
1.436 moko 286: classes().remove(String::Body(atype));
1.424 moko 287: classes().put(atype, aclass);
288: return true;
289: }
290:
1.356 moko 291: static void load_charset(HashStringValue::key_type akey, HashStringValue::value_type avalue, Request_charsets* charsets) {
1.359 moko 292: pa_charsets.load_charset(*charsets, akey, avalue->as_string());
1.208 paf 293: }
1.356 moko 294:
1.395 moko 295:
296: #define CONF_OPTION(config, name, code, exception_name) \
297: if(config) \
298: if(Value* option=config->get_element(name)) { \
299: if(option->is_evaluated_expr()) { \
300: code; \
301: } else \
1.415 moko 302: throw Exception(PARSER_RUNTIME, 0, "$MAIN:" exception_name, name.cstr()); \
1.395 moko 303: }
304:
1.248 paf 305: void Request::configure_admin(VStateless_class& conf_class) {
1.208 paf 306: if(configure_admin_done)
1.356 moko 307: throw Exception(PARSER_RUNTIME, 0, "parser already configured");
1.208 paf 308: configure_admin_done=true;
309:
1.227 paf 310: // charsets must only be specified in method_frame config
1.208 paf 311: // so that users would not interfere
312:
313: /* $MAIN:CHARSETS[
314: $.charsetname1[/full/path/to/charset/file.cfg]
315: ...
316: ]
317: */
1.308 misha 318: if(Value* vcharsets=conf_class.get_element(charsets_name)) {
1.342 moko 319: if(!vcharsets->is_string()) {
1.248 paf 320: if(HashStringValue* charsets=vcharsets->get_hash())
1.281 paf 321: charsets->for_each<Request_charsets*>(load_charset, &this->charsets);
1.240 paf 322: else
1.415 moko 323: throw Exception(PARSER_RUNTIME, 0, "$MAIN:%s must be hash", charsets_name.cstr());
1.342 moko 324: }
1.208 paf 325: }
326:
1.469 moko 327: Value* conf=&conf_class;
328:
1.330 moko 329: #ifdef STRICT_VARS
1.469 moko 330: bool strict_vars=false;
331: CONF_OPTION(conf, strict_vars_name, {
332: strict_vars=option->as_bool();
333: }, "%s must be bool");
334: VVoid::strict_vars=strict_vars;
1.357 moko 335: #endif
336:
337: #ifdef OBJECT_PROTOTYPE
1.469 moko 338: bool prototype=true;
339: CONF_OPTION(conf, prototype_name, {
340: prototype=option->as_bool();
341: }, "%s must be bool");
342: VClass::prototype=prototype;
1.330 moko 343: #endif
344:
1.415 moko 345: #ifdef CLASS_GETTER_UNPROTECTED
1.469 moko 346: bool getter_protected=true;
347: CONF_OPTION(conf, getter_protected_name, {
348: getter_protected=option->as_bool();
349: }, "%s must be bool");
350: VClass::getter_protected=getter_protected; // thread local: changes in Temp_getter_protected
351: #endif
352:
353: bool all_vars_local=false;
354: CONF_OPTION(conf, locals_name, {
355: all_vars_local=option->as_bool();
356: if(all_vars_local)
1.415 moko 357: main_class.set_all_vars_local();
1.469 moko 358: }, "%s must be bool");
359: VStateless_class::gall_vars_local=all_vars_local;
1.415 moko 360:
1.362 moko 361: Value* limits=conf_class.get_element(limits_name);
362:
1.469 moko 363: int loop_limit=LOOP_LIMIT;
1.395 moko 364: CONF_OPTION(limits, loop_limit_name, {
1.469 moko 365: loop_limit=option->as_int();
366: if(loop_limit==0) loop_limit=INT_MAX;
1.395 moko 367: }, "LIMITS.%s must be int");
1.469 moko 368: pa_loop_limit=loop_limit;
1.361 moko 369:
1.469 moko 370: int array_limit=ARRAY_LIMIT;
1.425 moko 371: CONF_OPTION(limits, array_limit_name, {
1.469 moko 372: array_limit=option->as_int();
373: if(array_limit==0) array_limit=INT_MAX;
1.425 moko 374: }, "LIMITS.%s must be int");
1.469 moko 375: pa_array_limit=array_limit;
1.425 moko 376:
1.469 moko 377: execute_recursion_limit=EXECUTE_RECURSION_LIMIT;
1.427 moko 378: CONF_OPTION(limits, recursion_limit_name, {
1.469 moko 379: execute_recursion_limit=option->as_int();
380: if(execute_recursion_limit<=0) execute_recursion_limit=INT_MAX;
381: execute_recursion_limit=min(execute_recursion_limit, INT_MAX-EXECUTE_RECURSION_RESERVE);
1.395 moko 382: }, "LIMITS.%s must be int");
1.469 moko 383: pa_execute_recursion_limit=execute_recursion_limit;
1.390 moko 384:
1.469 moko 385: size_t file_size_limit=FILE_SIZE_LIMIT;
1.395 moko 386: CONF_OPTION(limits, file_size_limit_name, {
387: double limit=option->as_double();
388: if(limit >= (double)SSIZE_MAX)
1.448 moko 389: throw Exception(PARSER_RUNTIME, 0, "$MAIN:LIMITS.%s must be less than %s", file_size_limit_name.cstr(), pa_itoa(SSIZE_MAX));
1.469 moko 390: file_size_limit=(size_t)limit;
391: if(file_size_limit==0)
392: file_size_limit=SSIZE_MAX;
1.395 moko 393: }, "LIMITS.%s must be number");
1.469 moko 394: pa_file_size_limit=file_size_limit; // thread local: url-dependent
1.361 moko 395:
1.469 moko 396: size_t post_max_size=POST_MAX_SIZE;
1.465 moko 397: CONF_OPTION(limits, post_max_size_name, {
398: double limit=option->as_double();
399: if(limit >= (double)SSIZE_MAX)
400: throw Exception(PARSER_RUNTIME, 0, "$MAIN:LIMITS.%s must be less than %s", post_max_size_name.cstr(), pa_itoa(SSIZE_MAX));
401: if(limit > 0)
1.469 moko 402: post_max_size=(size_t)limit;
1.465 moko 403: }, "LIMITS.%s must be number");
1.469 moko 404: pa_post_max_size=post_max_size; // thread local: url-dependent
1.465 moko 405:
1.469 moko 406: unsigned int lock_attempts=PA_LOCK_ATTEMPTS;
1.395 moko 407: CONF_OPTION(limits, lock_wait_timeout_name, {
408: double limit=option->as_double();
409: if(limit >= 3600*24)
1.426 moko 410: throw Exception(PARSER_RUNTIME, 0, "$MAIN:LIMITS.%s must be less than %d", lock_wait_timeout_name.cstr(), 3600*24);
1.469 moko 411: lock_attempts=(unsigned int)(limit*2)+1;
1.395 moko 412: }, "LIMITS.%s must be number");
1.469 moko 413: pa_lock_attempts=lock_attempts;
1.395 moko 414:
415: Value* httpd=conf_class.get_element(httpd_name);
416:
1.470 moko 417: #ifdef CODE_CACHE
418: CONF_OPTION(httpd, httpd_code_cache_name, {
419: Code_cache_manager::set_enabled(option->as_bool());
420: }, "HTTPD.%s must be bool");
421: #endif
422:
1.469 moko 423: int httpd_timeout=HTTPD_TIMEOUT;
1.395 moko 424: CONF_OPTION(httpd, httpd_timeout_name, {
1.469 moko 425: httpd_timeout=option->as_int();
426: if(httpd_timeout==0) httpd_timeout=INT_MAX;
1.395 moko 427: }, "HTTPD.%s must be int");
1.469 moko 428: pa_httpd_timeout=httpd_timeout;
1.372 moko 429:
1.471 moko 430: int httpd_max_connections=INT_MAX;
431: CONF_OPTION(httpd, httpd_max_connections_name, {
432: httpd_max_connections=option->as_int();
433: if(httpd_max_connections<=0) httpd_max_connections=INT_MAX;
434: }, "HTTPD.%s must be int");
435: HTTPD_Server::max_connections=httpd_max_connections;
436:
1.403 moko 437: if(httpd)
1.470 moko 438: if(Value* option=httpd->get_element(httpd_mode_name)) {
1.403 moko 439: if(option->get_junction())
1.415 moko 440: throw Exception(PARSER_RUNTIME, 0, "$MAIN:HTTPD:mode must be string");
1.403 moko 441: HTTPD_Server::set_mode(option->as_string());
442: }
1.402 moko 443:
1.227 paf 444: // configure method_frame options
1.208 paf 445: // until someone with less privileges have overriden them
1.248 paf 446: methoded_array().configure_admin(*this);
1.208 paf 447: }
1.150 parser 448:
1.442 moko 449: const char* Request::get_exception_cstr(const Exception& e, VException& details) {
1.349 moko 450:
1.269 paf 451: #define PA_URI_FORMAT "%s: "
1.349 moko 452: #define PA_COMMENT_TYPE_FORMAT "%s [%s]"
453:
1.269 paf 454: #define PA_ORIGIN_FILE_POS_FORMAT "%s(%d:%d): "
455: #define PA_SOURCE_FORMAT "'%s' "
1.349 moko 456:
457: #define PA_ORIGIN_FILE_POS_VALUE file_list[details.origin.file_no].cstr(), 1+details.origin.line, 1+details.origin.col,
458: #define PA_SOURCE_VALUE details.problem_source->cstr(),
459:
460: #define EXCEPTION_CSTR(f1,v1,f2,v2) \
1.466 moko 461: pa_snprintf(result, MAX_STRING, \
1.349 moko 462: PA_URI_FORMAT \
463: f1 f2 \
464: PA_COMMENT_TYPE_FORMAT, \
465: request_info.uri, \
466: v1 v2 \
467: e.comment(), e.type() \
468: );
469:
1.269 paf 470: char* result=new(PointerFreeGC) char[MAX_STRING];
471:
472: if(details.problem_source) { // do we know the guy?
1.349 moko 473: if(details.origin.file_no) // do whe know where he came from?
474: EXCEPTION_CSTR(PA_ORIGIN_FILE_POS_FORMAT, PA_ORIGIN_FILE_POS_VALUE, PA_SOURCE_FORMAT, PA_SOURCE_VALUE)
475: else
476: EXCEPTION_CSTR(PA_SOURCE_FORMAT, PA_SOURCE_VALUE,,)
477: } else {
478: if(details.origin.file_no) // do whe know where he came from?
479: EXCEPTION_CSTR(PA_ORIGIN_FILE_POS_FORMAT, PA_ORIGIN_FILE_POS_VALUE,,)
480: else
481: EXCEPTION_CSTR(,,,)
482: }
1.269 paf 483:
484: return result;
485: }
1.272 paf 486:
1.444 moko 487: Table &Request::Exception_trace::table(Request &r, const String* problem_source, size_t bottom, size_t top){
1.407 moko 488: // $stack[^table::create{name file lineno colno}]
489: Table::columns_type stack_trace_columns(new ArrayString);
490: *stack_trace_columns+=new String("name");
491: *stack_trace_columns+=new String("file");
492: *stack_trace_columns+=new String("lineno");
493: *stack_trace_columns+=new String("colno");
494: Table& stack_trace=*new Table(stack_trace_columns);
495:
1.444 moko 496: if(bottom<top)
497: for(size_t i=bottom+(get(bottom).name()==problem_source); i<top; i++) {
1.407 moko 498: Trace trace=get(i);
499: Table::element_type row(new ArrayString);
500:
501: *row+=trace.name(); // name column
502: Operation::Origin origin=trace.origin();
503: if(origin.file_no) {
504: *row+=new String(r.file_list[origin.file_no], String::L_TAINTED); // 'file' column
1.422 moko 505: *row+=new String(pa_uitoa(1+origin.line), String::L_CLEAN); // 'lineno' column
506: *row+=new String(pa_uitoa(1+origin.col), String::L_CLEAN); // 'colno' column
1.407 moko 507: }
508: stack_trace+=row;
509: }
510:
511: return stack_trace;
512: }
513:
1.272 paf 514: void Request::configure() {
515: // configure admin options if not configured yet
516: if(!configure_admin_done)
517: configure_admin(main_class);
518: }
1.408 moko 519:
1.459 moko 520: /// HEAD request: only the headers are sent
521: static bool is_header_only(Request_info& info) {
522: return info.method && strcasecmp(info.method, "HEAD")==0;
523: }
524:
1.64 paf 525: /**
526: load MAIN class, execute @main.
527: MAIN class consists of all the auto.p files we'd manage to find
528: plus
529: the file user requested us to process
530: all located classes become children of one another,
531: composing class we name 'MAIN'
1.180 paf 532:
533: @test log stack trace
534:
1.64 paf 535: */
1.459 moko 536: void Request::core(const char* config_filespec, const String &amain_method_name, const String* amain_class_name) {
537: bool header_only=is_header_only(request_info);
1.169 parser 538: try {
1.211 paf 539: // loading config
1.384 moko 540: if(config_filespec)
1.454 moko 541: use_file_directly(*new String(backslashes_to_slashes(config_filespec)));
1.8 paf 542:
1.338 moko 543: // filling mail received
544: mail.fill_received(*this);
545:
1.272 paf 546: try {
547: // compile requested file
1.389 moko 548: if(request_info.path_translated)
549: use_file_directly(*new String(request_info.path_translated, String::L_TAINTED), true, true /* load auto.p files */);
1.272 paf 550: configure();
551: } catch(...) {
552: configure(); // configure anyway, useful in @unhandled_exception [say, if they would want to mail by SMTP something]
553: rethrow;
554: }
1.25 paf 555:
1.412 moko 556: VStateless_class& main = amain_class_name ? get_class_ref(*amain_class_name) : main_class;
1.25 paf 557: // execute @main[]
1.412 moko 558: const String* body_string=amain_method_name.is_empty() ? &String::Empty : execute_method(main, amain_method_name);
1.41 paf 559: if(!body_string)
1.412 moko 560: throw Exception(PARSER_RUNTIME, &amain_method_name, "method not found in class %s", main.type());
1.79 paf 561:
1.464 moko 562: if(response.started==VResponse::WEBSOCKET)
563: websocket->close(); // graceful: waits for the Close of the client
564: // ignore the result in websocket or stream mode
565: if(response.started)
1.460 moko 566: return;
567:
1.250 paf 568: // extract response body
1.344 moko 569: Value* body_value=response.fields().get(download_name_upper); // $response:download?
1.430 moko 570: bool as_attachment=body_value!=0;
1.250 paf 571: if(!body_value)
1.344 moko 572: body_value=response.fields().get(body_name_upper); // $response:body
1.250 paf 573: if(!body_value)
574: body_value=new VString(*body_string); // just result of ^main[]
575:
1.119 paf 576: // @postprocess
1.383 moko 577: if(const Method *method=main_class.get_method(post_process_method_name)) {
578: METHOD_FRAME_ACTION(*method, 0 /*no parent*/, main_class, {
579: frame.store_params(&body_value, 1);
580: call(frame);
581: body_value=&frame.result();
582: });
583: }
1.90 paf 584:
1.430 moko 585: // can throw exceptions while handling $response:download[]
1.462 moko 586: output_result(body_value->as_vfile(response.lang, &charsets), header_only, as_attachment);
1.171 parser 587: } catch(const Exception& e) { // request handling problem
1.258 paf 588:
1.445 moko 589: // OK, as native execution stack has unwound
590: anti_endless_execute_recursion=0;
591:
1.431 moko 592: // we're returning not result, but error explanation
1.442 moko 593: VException& details=*new VException(*this, e);
1.431 moko 594: const char* exception_cstr=get_exception_cstr(e, details);
595:
596: // reset response
597: response.fields().clear();
1.462 moko 598: response.lang=response.default_lang;
1.431 moko 599: SAPI::clear_headers(sapi_info);
1.407 moko 600:
1.431 moko 601: // this is what we'd return in $response:body
602: const String* body_string=0;
1.407 moko 603:
1.431 moko 604: try {
1.407 moko 605: // maybe we'd be lucky enough as to report an error in a gracefull way...
606: if(const Method *method=main_class.get_method(*new String(UNHANDLED_EXCEPTION_METHOD_NAME))) {
607: // preparing parameters to @unhandled_exception[exception;stack]
608:
1.443 moko 609: Table& stack_trace=exception_trace.table(*this, details.problem_source);
1.444 moko 610: details.expire_trace();
1.407 moko 611: exception_trace.clear(); // forget all about previous life, in case there would be error inside of this method, error handled would not be mislead by old stack contents (see extract_origin)
612:
1.442 moko 613: Value *params[]={&details, new VTable(&stack_trace)};
1.407 moko 614: METHOD_FRAME_ACTION(*method, 0 /*no caller*/, main_class, {
615: frame.store_params(params, 2);
616: call(frame);
617: body_string=&frame.result().as_string();
618: });
619: }
1.383 moko 620:
1.407 moko 621: // conditionally log it
1.442 moko 622: Value* vhandled=details.handled();
1.407 moko 623: if(!vhandled || !vhandled->as_bool()) {
624: SAPI::log(sapi_info, "%s", exception_cstr);
625: }
1.431 moko 626: } catch(const Exception& e) { // exception in @unhandled_exception
1.442 moko 627: VException& details=*new VException(*this, e);
1.431 moko 628: // logging both initial and new exceptions
629: SAPI::log(sapi_info, "%s", exception_cstr);
630: SAPI::log(sapi_info, "Exception in @unhandled_exception at %s", get_exception_cstr(e, details));
1.464 moko 631: if(!response.started)
1.460 moko 632: SAPI::send_error(sapi_info, "Exception in @unhandled_exception, details are available in Parser error log.");
1.431 moko 633: return;
634: }
1.383 moko 635:
1.431 moko 636: if(body_string) { // could report an error beautifully?
637: VString body_vstring(*body_string);
1.462 moko 638: output_result(body_vstring.as_vfile(response.lang, &charsets), header_only, false);
1.464 moko 639: } else if(!response.started) {
1.431 moko 640: // doing that ugly
641: SAPI::send_error(sapi_info, exception_cstr, strcmp(e.type(), "file.missing") ? "500" : "404");
1.268 paf 642: }
1.1 paf 643: }
644: }
645:
1.266 paf 646: uint Request::register_file(String::Body file_spec) {
1.248 paf 647: file_list+=file_spec;
648: return file_list.count()-1;
649: }
650:
1.387 moko 651: void Request::use_file_directly(const String& file_spec, bool fail_on_file_absence, bool with_auto_p) {
1.73 paf 652: // cyclic dependence check
1.318 misha 653: if(used_files.get(file_spec))
1.248 paf 654: return;
1.318 misha 655: used_files.put(file_spec, true);
656:
1.385 moko 657: if(!fail_on_file_absence && !entry_exists(file_spec)) // ignore file absence if asked for
658: return;
1.318 misha 659:
1.386 moko 660: if(with_auto_p) {
1.454 moko 661: // loading auto.p files from document_root/..
1.386 moko 662: // to the one beside requested file.
663: // all assigned bases from upper dir
664: const char* target=file_spec.cstr();
665:
666: // all relative paths are calculated from main document
667: request_info.path_translated=target;
668:
669: const char* after=target;
1.454 moko 670: size_t drlen=strlen(request_info.document_root_path);
1.457 moko 671: if(path_cmp(after, request_info.document_root_path, drlen)==0)
1.454 moko 672: after+=drlen; // to start from document_root/auto.p
1.386 moko 673:
674: while(const char* before=strchr(after, '/')) {
675: String& sfile_spec=*new String;
676: if(after!=target) {
677: sfile_spec.append_strdup(target, before-target, String::L_CLEAN);
678: sfile_spec << "/" AUTO_FILE_NAME;
679:
1.387 moko 680: use_file_directly(sfile_spec, false /*ignore absence, sole user*/);
1.386 moko 681: }
682: for(after=before+1;*after=='/';after++);
683: }
684: }
685:
1.458 moko 686: Code_cache* code=0;
687: #ifdef CODE_CACHE
688: if(Code_cache* cached=Code_cache_manager::get(file_spec)) {
689: use_buf(main_class, 0, 0, cached->file_no, 0, cached);
690: return;
691: }
692: // to record the compilation; only while the httpd config runs
693: code=Code_cache_manager::create(file_spec);
694: #endif
695:
1.385 moko 696: if(const char* source=file_read_text(charsets, file_spec, true))
1.458 moko 697: use_buf(main_class, source, 0, register_file(file_spec), 0, code);
1.318 misha 698: }
699:
700:
1.454 moko 701: void Request::use_file(const String& afile_name, const String* use_filespec/*absolute*/, bool with_auto_p) {
702: if(afile_name.is_empty())
1.366 moko 703: throw Exception(PARSER_RUNTIME, 0, "usage failed - no filename was specified");
1.326 misha 704:
1.318 misha 705: const String* filespec=0;
1.454 moko 706: const String& file_name=backslashes_to_slashes(afile_name);
1.318 misha 707:
1.454 moko 708: if(file_name.first_char()=='/' || path_scheme(afile_name) || is_os_absolute_path(afile_name)) // path is not relative, no need to scan MAIN:CLASS_PATH
709: filespec=&full_disk_path(afile_name);
1.318 misha 710: else if(use_filespec){ // search in current dir first
1.454 moko 711: size_t last_slash_pos=use_filespec->strrchr('/');
1.331 misha 712: if(last_slash_pos!=STRING_NOT_FOUND)
713: filespec=file_exist(use_filespec->mid(0, last_slash_pos), file_name); // found in current dir?
1.318 misha 714: }
715:
716: if(!filespec){
717: // prevent multiple scan CLASS_PATH for searching one file
718: if(searched_along_class_path.get(file_name))
719: return;
720: searched_along_class_path.put(file_name, true);
1.308 misha 721: if(Value* element=main_class.get_element(class_path_name)) {
1.233 paf 722: if(element->is_string()) {
1.388 moko 723: filespec=file_exist(full_disk_path(element->as_string()), file_name); // found at class_path?
1.233 paf 724: } else if(Table *table=element->get_table()) {
1.318 misha 725: for(size_t i=table->count(); i--; ) {
1.248 paf 726: const String& path=*(*table->get(i))[0];
1.388 moko 727: if(filespec=file_exist(full_disk_path(path), file_name))
1.233 paf 728: break; // found along class_path
729: }
730: } else
1.366 moko 731: throw Exception(PARSER_RUNTIME, 0, "$" CLASS_PATH_NAME " must be string or table");
1.318 misha 732: if(!filespec)
1.415 moko 733: throw Exception(PARSER_RUNTIME, &file_name, "not found along $MAIN:" CLASS_PATH_NAME);
1.318 misha 734: } else
1.415 moko 735: throw Exception(PARSER_RUNTIME, &file_name, "usage failed - no $MAIN:" CLASS_PATH_NAME " were specified");
1.148 parser 736: }
1.230 paf 737:
1.387 moko 738: use_file_directly(*filespec, true, with_auto_p);
1.16 paf 739: }
740:
1.364 moko 741: void Request::use_file(const String& file_name, const String* use_filespec/*absolute*/, Operation::Origin origin) {
1.349 moko 742: static String use("USE");
743: try {
1.364 moko 744: static VHash* voptions=new VHash();
1.376 moko 745: if(const Method *method=main_class.get_method(use_method_name)){
1.364 moko 746: Value *params[]={new VString(file_name), voptions};
747: voptions->hash().put(origin_key, new VString(*use_filespec));
748:
749: CONSTRUCTOR_FRAME_ACTION(*method, 0 /*no parent*/, main_class, {
750: frame.store_params(params, 2);
751: // we don't need the result
752: call(frame);
753: });
754: }
1.349 moko 755: } catch (...) {
756: exception_trace.push(Trace(&use, origin));
757: rethrow;
758: }
759: }
1.208 paf 760:
1.458 moko 761: void Request::use_buf(VStateless_class& aclass, const char* source, const String* main_alias, uint file_no, int line_no_offset, Code_cache* code) {
1.358 moko 762: // temporary zero @conf to avoid it second execution
1.248 paf 763: Temp_method temp_method_conf(aclass, conf_method_name, 0);
1.358 moko 764: // temporary zero @auto to avoid it second execution
1.248 paf 765: Temp_method temp_method_auto(aclass, auto_method_name, 0);
1.233 paf 766:
1.295 misha 767: // compile loaded classes
1.458 moko 768: ArrayClass& cclasses=
769: #ifdef CODE_CACHE
770: !source ? code->replay(*this, aclass) :
771: #endif
772: compile(&aclass, source, main_alias, file_no, line_no_offset, code);
1.212 paf 773:
1.248 paf 774: VString* vfilespec=
1.435 moko 775: new VString(file_list[file_no]);
1.295 misha 776:
777: for(size_t i=0; i<cclasses.count(); i++){
778: VStateless_class& cclass=*cclasses.get(i);
1.296 misha 779:
780: // locate and execute possible @conf[] static
1.382 moko 781: if(execute_method_if_exists(cclass, conf_method_name, vfilespec))
1.295 misha 782: configure_admin(cclass/*, executed.method->name*/);
783:
784: // locate and execute possible @auto[] static
1.419 moko 785: execute_auto_method_if_exists(cclass, auto_method_name, vfilespec);
1.336 moko 786:
787: cclass.enable_default_setter();
1.295 misha 788: }
1.19 paf 789: }
790:
1.248 paf 791: const String& Request::relative(const char* apath, const String& relative_name) {
1.452 moko 792: // apath is a URI or a path already normalized by the target, always slash separated
1.341 moko 793: char *hpath=pa_strdup(apath);
1.248 paf 794: String& result=*new String;
795: if(rsplit(hpath, '/')) // if something/splitted
1.217 paf 796: result << hpath << "/";
1.248 paf 797: result << relative_name;
798: return result;
1.19 paf 799: }
800:
1.454 moko 801: void Request_info::set_document_root(const char* adocument_root) {
802: document_root=adocument_root;
803: char* path=backslashes_to_slashes(adocument_root);
804: if(path) {
805: size_t length=strlen(path);
806: while(length && path[length-1]=='/')
807: path[--length]=0;
808: }
809: document_root_path=path;
810: }
811:
1.453 moko 812: const String& Request::full_disk_path(const String& relative_name, uint allowed) {
1.454 moko 813: if(relative_name.first_char()!='/') {
814: if(uint scheme=path_scheme(relative_name)) {
815: check_path_scheme(scheme, relative_name, allowed);
816: if(scheme!=PA_SCHEME_FILE)
817: return relative_name; // an allowed uri is passed through
818: if(const String* path=file_uri_to_path(relative_name))
819: return backslashes_to_slashes(*path);
1.455 moko 820: #ifdef WIN32
821: throw Exception(PARSER_RUNTIME, &relative_name, "must be file:///path, file://localhost/path or file://server/share/path");
822: #else
1.454 moko 823: throw Exception(PARSER_RUNTIME, &relative_name, "must be file:///path or file://localhost/path");
1.455 moko 824: #endif
1.454 moko 825: }
826: // before '\' becomes '/', to avoid mixing the UNC path \\server with web path //server
827: if(is_os_absolute_path(relative_name))
828: return backslashes_to_slashes(relative_name);
1.453 moko 829: }
1.389 moko 830:
1.454 moko 831: const String& path=backslashes_to_slashes(relative_name);
832: if(path.first_char()!='/')
833: return relative(request_info.path_translated ? request_info.path_translated : pa_strcat(request_info.document_root_path, "/"), path);
834:
835: String& result=*new String(request_info.document_root_path);
836: result << path;
837: return result;
1.1 paf 838: }
1.45 paf 839:
1.453 moko 840: const String* Request::real_disk_path(const String& name) {
841: switch(path_scheme(name)) {
842: case PA_SCHEME_NONE: return &full_disk_path(name);
1.454 moko 843: case PA_SCHEME_FILE: {
1.456 moko 844: const String* path=clean_path_scheme(PA_SCHEME_FILE, name) ? file_uri_to_path(name) : 0;
1.454 moko 845: return path ? &backslashes_to_slashes(*path) : 0;
846: }
1.453 moko 847: default: return 0; // not a disk path
848: }
849: }
850:
1.267 paf 851: #ifndef DOXYGEN
852: class Add_header_attribute_info
853: {
854: public:
855: Add_header_attribute_info(Request& ar) : r(ar), add_last_modified(true) {}
856: Request& r;
857: bool add_last_modified;
858: };
859: #endif
1.344 moko 860: static void add_header_attribute(HashStringValue::key_type name, HashStringValue::value_type value, Add_header_attribute_info* info) {
861: if(name==BODY_NAME_UPPER || name==DOWNLOAD_NAME_UPPER || name==CHARSET_NAME_UPPER)
1.101 paf 862: return;
1.290 misha 863:
1.345 moko 864: if(name==LAST_MODIFIED_NAME_UPPER)
865: info->add_last_modified=false;
866:
1.316 misha 867: const char* aname=String(name, String::L_URI).untaint_and_transcode_cstr(String::L_URI, &info->r.charsets);
1.101 paf 868:
1.267 paf 869: SAPI::add_header_attribute(info->r.sapi_info,
1.345 moko 870: aname,
1.316 misha 871: attributed_meaning_to_string(*value, String::L_URI, false).untaint_and_transcode_cstr(String::L_URI, &info->r.charsets)
1.303 misha 872: );
1.267 paf 873: }
874:
1.366 moko 875: static void output_sole_piece(Request& r, bool header_only, VFile& body_file, Value* body_file_content_type) {
1.267 paf 876: // transcode text body when "text/*" or simple result
877: String::C output(body_file.value_ptr(), body_file.value_size());
878: if(!body_file_content_type/*vstring.as_vfile*/ || body_file_content_type->as_string().pos("text/")==0)
1.366 moko 879: output=Charset::transcode(output, r.charsets.source(), r.charsets.client());
1.267 paf 880:
1.311 misha 881: // prepare header: Content-Length
1.428 moko 882: SAPI::add_header_attribute(r.sapi_info, HTTP_CONTENT_LENGTH, pa_uitoa(output.length));
1.267 paf 883:
884: // send header
1.430 moko 885: SAPI::send_headers(r.sapi_info);
1.267 paf 886:
887: // send body
888: if(!header_only)
889: SAPI::send_body(r.sapi_info, output.str, output.length);
890: }
891:
892: #ifndef DOXYGEN
893: struct Range
894: {
1.396 moko 895: uint64_t start;
896: uint64_t end;
1.267 paf 897: };
898: #endif
1.396 moko 899:
900: #define UNSET ((uint64_t)-1)
901:
1.313 misha 902: static void parse_range(const String* s, Array<Range> &ar) {
1.267 paf 903: const char *p = s->cstr();
904: if(s->starts_with("bytes="))
905: p += 6;
906: Range r;
907: while(*p){
1.396 moko 908: r.start = UNSET;
909: r.end = UNSET;
1.401 moko 910:
911: while(*p==' ' || *p=='\t') p++;
912:
1.267 paf 913: if(*p >= '0' && *p <= '9'){
1.416 moko 914: const char *n=p;
1.401 moko 915: while(*p>='0' && *p<='9') p++;
1.440 moko 916: r.start = pa_atoul(pa_strdup(n, p-n)); // ((uint64_t)-1) is treated as UNSET
1.267 paf 917: }
1.401 moko 918:
919: while(*p==' ' || *p=='\t') p++;
920:
1.267 paf 921: if(*p++ != '-') break;
1.401 moko 922:
923: while(*p==' ' || *p=='\t') p++;
924:
1.267 paf 925: if(*p >= '0' && *p <= '9'){
1.416 moko 926: const char *n=p;
1.401 moko 927: while(*p>='0' && *p<='9') p++;
1.440 moko 928: r.end = pa_atoul(pa_strdup(n, p-n)); // ((uint64_t)-1) is treated as UNSET
1.267 paf 929: }
1.401 moko 930:
931: while(*p==' ' || *p=='\t') p++;
932:
933: if(*p)
934: if(*p++ != ',') break;
935:
1.267 paf 936: ar += r;
937: }
1.101 paf 938: }
1.267 paf 939:
1.400 moko 940: struct Send_range_action_info {
941: Request *r;
942: uint64_t offset;
943: uint64_t part_length;
944: };
945:
946: static void send_range(struct stat& /*finfo*/, int f, const String& /*file_spec*/, void *context){
947: Send_range_action_info &info = *(Send_range_action_info*)context;
948:
1.430 moko 949: SAPI::send_headers(info.r->sapi_info);
1.400 moko 950: pa_lseek(f, info.offset, SEEK_SET);
951:
1.432 moko 952: char buf[FILE_BUFFER_SIZE];
1.400 moko 953: do{
1.432 moko 954: size_t to_read = info.part_length < FILE_BUFFER_SIZE ? (size_t)info.part_length : FILE_BUFFER_SIZE;
1.400 moko 955: size_t to_write = file_block_read(f, buf, to_read);
956:
957: if(to_write == 0)
958: break;
959:
960: size_t size = SAPI::send_body(info.r->sapi_info, buf, to_write);
961: if(size != to_write)
962: break;
963:
964: info.part_length -= to_write;
965: } while (info.part_length);
966: }
967:
1.396 moko 968: static void output_pieces(Request& r, bool header_only, const String& filename, uint64_t content_length, Value& date, bool add_last_modified) {
1.315 misha 969: SAPI::add_header_attribute(r.sapi_info, "accept-ranges", "bytes");
1.270 paf 970:
1.339 moko 971: const char *range = SAPI::Env::get(r.sapi_info, "HTTP_RANGE");
1.396 moko 972: uint64_t offset=0;
973: uint64_t part_length=content_length;
1.401 moko 974:
975: if(range && content_length){
1.267 paf 976: Array<Range> ar;
977: parse_range(new String(range), ar);
1.396 moko 978: int count = ar.count();
1.267 paf 979: if(count == 1){
980: Range &rg = ar.get_ref(0);
1.401 moko 981:
982: if(rg.start == UNSET && rg.end == UNSET)
983: return SAPI::send_error(r.sapi_info, "", "416");
984:
1.396 moko 985: if(rg.start == UNSET && rg.end != UNSET){
1.440 moko 986: if(rg.end == 0)
987: return SAPI::send_error(r.sapi_info, "", "416");
1.401 moko 988: if(rg.end > content_length)
989: rg.end = content_length;
1.404 moko 990: rg.start = content_length - rg.end;
991: rg.end = content_length-1;
1.401 moko 992: } else if(rg.start != UNSET && rg.end == UNSET){
993: if(rg.start >= content_length)
994: return SAPI::send_error(r.sapi_info, "", "416");
1.267 paf 995: rg.end = content_length-1;
1.401 moko 996: } else {
997: if(rg.start >= content_length || rg.start > rg.end)
998: return SAPI::send_error(r.sapi_info, "", "416");
999: if(rg.end >= content_length)
1000: rg.end = content_length-1;
1.267 paf 1001: }
1.401 moko 1002:
1003: offset = rg.start;
1004: part_length = rg.end-rg.start+1;
1005:
1.400 moko 1006: char buf[MAX_STRING];
1.466 moko 1007: pa_snprintf(buf, MAX_STRING, "bytes %s-%s/%s", pa_uitoa(rg.start), pa_uitoa(rg.end), pa_uitoa(content_length));
1.401 moko 1008: SAPI::add_header_attribute(r.sapi_info, HTTP_STATUS, "206");
1.315 misha 1009: SAPI::add_header_attribute(r.sapi_info, "content-range", buf);
1.401 moko 1010: } else {
1.410 moko 1011: return SAPI::send_error(r.sapi_info, count ? "Multiple ranges are not supported" : "Invalid range", count ? "501" : "400");
1.267 paf 1012: }
1013: }
1014:
1.428 moko 1015: SAPI::add_header_attribute(r.sapi_info, HTTP_CONTENT_LENGTH, pa_uitoa(part_length));
1.267 paf 1016:
1.314 misha 1017: if(add_last_modified)
1.315 misha 1018: SAPI::add_header_attribute(r.sapi_info, "last-modified", attributed_meaning_to_string(date, String::L_AS_IS, true).cstr());
1.314 misha 1019:
1.414 moko 1020: if(header_only){
1.430 moko 1021: SAPI::send_headers(r.sapi_info);
1.414 moko 1022: } else {
1.400 moko 1023: Send_range_action_info info = { &r, offset, part_length};
1024: file_read_action_under_lock(r.full_disk_path(filename), "send", send_range, &info);
1.267 paf 1025: }
1026: }
1027:
1.248 paf 1028: void Request::output_result(VFile* body_file, bool header_only, bool as_attachment) {
1.464 moko 1029: if(response.started)
1.460 moko 1030: return;
1031:
1.51 paf 1032: // header: cookies
1.248 paf 1033: cookie.output_result(sapi_info);
1.51 paf 1034:
1.394 moko 1035: // $.file and $.name (when body is real vfile)
1036: Value* vfile = body_file->fields().get(response_body_file_name);
1037: Value* vname = body_file->fields().get(name_name);
1038:
1039: const String* sfile = vfile ? &vfile->as_string() : NULL;
1040: const String* sname = vname ? &vname->as_string() : NULL;
1041:
1042: if(sname && *sname == NONAME_DAT)
1043: sname = NULL;
1.92 paf 1044:
1.409 moko 1045: // Content-Disposition, use $.name[<empty>] to avoid
1.394 moko 1046: const String* disposition_name = sname ? sname->is_empty() ? NULL : sname : sfile;
1047: if(disposition_name) {
1.420 moko 1048: String& filename = *new String(pa_filename(disposition_name->cstr()), String::L_URI);
1049: String& filename_asterisk = *new String(charsets.client().NAME(), String::L_CLEAN) << (*new String("''")) << filename;
1050:
1.394 moko 1051: VHash& hash=*new VHash();
1052: hash.hash().put(value_name, new VString(as_attachment ? content_disposition_attachment : content_disposition_inline));
1.420 moko 1053: hash.hash().put(content_disposition_filename_name, new VString(filename));
1054: hash.hash().put(content_disposition_filename_name_asterisk, new VString(filename_asterisk));
1.394 moko 1055: response.fields().put(content_disposition_name_upper, &hash);
1056: }
1.267 paf 1057:
1.394 moko 1058: // _file_ content-type might be specified
1059: Value* body_file_content_type = body_file->fields().get(content_type_name);
1060: if(!body_file_content_type){
1061: const String* scontent_name = sname && !sname->is_empty() ? sname : sfile;
1062: if(scontent_name)
1063: body_file_content_type = new VString(mime_type_of(scontent_name->cstr()));
1.267 paf 1064: }
1065:
1.312 misha 1066: // set Content-Type
1.314 misha 1067: if(body_file_content_type) {
1068: // body file content type
1.344 moko 1069: response.fields().put(content_type_name_upper, body_file_content_type);
1.314 misha 1070: } else {
1071: // default content type
1.344 moko 1072: response.fields().put_dont_replace(content_type_name_upper, new VString(*new String(DEFAULT_CONTENT_TYPE)));
1.314 misha 1073: }
1.312 misha 1074:
1.314 misha 1075: // prepare header: $response:fields without :body, :download and :charset
1.267 paf 1076: Add_header_attribute_info info(*this);
1.281 paf 1077: response.fields().for_each<Add_header_attribute_info*>(add_header_attribute, &info);
1.50 paf 1078:
1.394 moko 1079: if(sfile) {
1.314 misha 1080: // $response:[download|body][$.file[filespec]] -- optput specified file
1.367 moko 1081: uint64_t content_length=0;
1.267 paf 1082: time_t atime=0, mtime=0, ctime=0;
1.394 moko 1083: file_stat(full_disk_path(*sfile), content_length, atime, mtime, ctime);
1.267 paf 1084:
1085: VDate* vdate=0;
1086: if(Value* v=body_file->fields().get("mdate")) {
1.423 moko 1087: vdate=dynamic_cast<VDate*>(v);
1088: if(!vdate)
1.286 misha 1089: throw Exception(PARSER_RUNTIME, 0, "mdate must be a date");
1.267 paf 1090: }
1091: if(!vdate)
1.346 moko 1092: vdate=new VDate((pa_time_t)mtime);
1.62 paf 1093:
1.399 moko 1094: output_pieces(*this, header_only, *sfile, content_length, *vdate, info.add_last_modified);
1.267 paf 1095: } else {
1.314 misha 1096: if(body_file_content_type)
1097: if(HashStringValue *hash=body_file_content_type->get_hash())
1098: body_file_content_type=hash->get(value_name);
1099:
1.366 moko 1100: output_sole_piece(*this, header_only, *body_file, body_file_content_type);
1.267 paf 1101: }
1.50 paf 1102: }
1.104 paf 1103:
1.464 moko 1104: void Request::start(VResponse::Started mode) {
1105: // the headers: cookies and $response:fields, without Content-Length
1106: // prepare before response.started is set: after that an exception is not reported to the client
1107: cookie.output_result(sapi_info);
1108: Add_header_attribute_info info(*this);
1109: response.fields().for_each<Add_header_attribute_info*>(add_header_attribute, &info);
1110: response.started=mode;
1111: SAPI::send_headers(sapi_info);
1112: }
1113:
1.463 moko 1114: void Request::stream(Value& part) {
1.464 moko 1115: if(response.started==VResponse::WEBSOCKET)
1116: throw Exception("websocket", 0, "unable to stream: websocket is active");
1117:
1118: // convert before response.started is set: after that an exception is not reported to the client
1.460 moko 1119: VFile* file=dynamic_cast<VFile*>(&part);
1.462 moko 1120: String::C output=file ? String::C(file->value_ptr(), file->value_size()) : String::C(part.get_string()->cstr_to_string_body_untaint(response.lang, 0, &charsets));
1.460 moko 1121: if(!file || file->is_text_mode())
1122: output=Charset::transcode(output, charsets.source(), charsets.client());
1123:
1.464 moko 1124: if(!response.started) {
1.460 moko 1125: response.fields().put_dont_replace(content_type_name_upper, new VString(*new String(DEFAULT_CONTENT_TYPE)));
1.464 moko 1126: start(VResponse::STREAM);
1.460 moko 1127: }
1128:
1129: if(!is_header_only(request_info))
1130: SAPI::send_body(sapi_info, output.str, output.length);
1131: }
1132:
1.328 misha 1133: const String& Request::mime_type_of(const String* file_name) {
1134: return mime_type_of(file_name?file_name->taint_cstr(String::L_FILE_SPEC):0);
1135: }
1136:
1.248 paf 1137: const String& Request::mime_type_of(const char* user_file_name_cstr) {
1.468 moko 1138: // built at the first use: $MAIN:MIME-TYPES (table or @GET_MIME-TYPES[] property)
1.467 moko 1139: if(!mime_types) {
1.468 moko 1140: Value* element=main_class.get_element(mime_types_name);
1141: TEMP_GETTER_PROTECTED(false); // @GET_MIME-TYPES[] assigns $MIME-TYPES, which replaces the getter with the table
1142: Table *table=element ? process(*element).get_table() : 0;
1.467 moko 1143: mime_types=table ? table : new Table(0); // empty if nothing is defined
1144: }
1145:
1146: if(const char* cext=strrchr(user_file_name_cstr, '.')) {
1147: String sext(++cext);
1148: Table::Action_options options;
1149: if(mime_types->locate(0, sext.change_case(charsets.source(), String::CC_LOWER), options)) {
1150: if(const String* result=mime_types->item(1))
1151: return *result;
1152: else
1153: throw Exception(PARSER_RUNTIME, 0, MIME_TYPES_NAME " table column elements must not be empty");
1.104 paf 1154: }
1.467 moko 1155: }
1.248 paf 1156:
1157: return *new String("application/octet-stream");
1158: }
1159:
1.365 moko 1160: const String* Request::get_used_filespec(uint file_no){
1.318 misha 1161: if(file_no < file_list.count())
1162: return new String(file_list[file_no], String::L_TAINTED);
1163: return 0;
1164: }
1165:
1.248 paf 1166: #ifdef XML
1.280 paf 1167: xmlChar* Request::transcode(const String& s) {
1.248 paf 1168: return charsets.source().transcode(s);
1169: }
1170:
1.280 paf 1171: xmlChar* Request::transcode(const String::Body s) {
1.248 paf 1172: return charsets.source().transcode(s);
1173: }
1174:
1.280 paf 1175: const String& Request::transcode(const xmlChar* s) {
1.248 paf 1176: return charsets.source().transcode(s);
1.233 paf 1177: }
1.248 paf 1178: #endif
1179:
1.442 moko 1180: VException::VException(Request& r, const Exception& e):
1181: fexception(e), fhandled(&VBool::get(false)),
1.444 moko 1182: ftrace_bottom(r.exception_trace.bottom_index()), ftrace_top(r.exception_trace.top_index()),
1.442 moko 1183: origin(Operation::Origin::create(0, 0, 0)), problem_source(e.problem_source()) {
1184: Request::Exception_trace& exception_trace=r.exception_trace;
1.248 paf 1185:
1.349 moko 1186: if(!exception_trace.is_empty()) {
1.442 moko 1187: Request::Trace bottom=exception_trace.bottom_value();
1.350 moko 1188: origin=bottom.origin();
1.443 moko 1189: if(!problem_source) // we don't know who trigged the bug
1.350 moko 1190: problem_source=bottom.name(); // we usually know source of next-from-throw-point exception did that
1.248 paf 1191: }
1.442 moko 1192: if(origin.file_no)
1193: ffile=r.file_list[origin.file_no];
1194: }
1195:
1196: Value* VException::handled() {
1197: return fhash ? fhash->get(Symbols::HANDLED_SYMBOL) : fhandled;
1198: }
1.248 paf 1199:
1.444 moko 1200: Table& VException::stack(Request& r) {
1201: if(ftrace_top==size_t(-1))
1202: throw Exception(PARSER_RUNTIME, 0, "exception stack used outside of context");
1203: return r.exception_trace.table(r, problem_source, ftrace_bottom, ftrace_top);
1204: }
1205:
1.442 moko 1206: Value* VException::get_element(const String& name) {
1207: if(!fhash) {
1208: if(SYMBOLS_EQ(name,HANDLED_SYMBOL))
1209: return fhandled;
1210: if(SYMBOLS_EQ(name,TYPE_SYMBOL))
1211: return fexception.type(true) ? new VString(*new String(fexception.type())) : 0;
1212: if(SYMBOLS_EQ(name,SOURCE_SYMBOL))
1213: return problem_source ? new VString(*problem_source) : 0;
1214: if(SYMBOLS_EQ(name,COMMENT_SYMBOL))
1215: return fexception.comment(true) ? new VString(fexception.comment()) : 0;
1216: if(SYMBOLS_EQ(name,FILE_SYMBOL))
1217: return origin.file_no ? new VString(ffile) : 0;
1218: if(SYMBOLS_EQ(name,LINENO_SYMBOL))
1219: return origin.file_no ? new VInt(1+origin.line) : 0;
1220: if(SYMBOLS_EQ(name,COLNO_SYMBOL))
1221: return origin.file_no ? new VInt(1+origin.col) : 0;
1222: if(SYMBOLS_EQ(name,FIELDS_SYMBOL))
1223: return this;
1224: }
1225: // Computed field names need not be interned: use ordinary hash lookup.
1226: return VHashReference::get_element(name);
1227: }
1228:
1229: const VJunction* VException::put_element(const String& name, Value* value) {
1230: if(!fhash && SYMBOLS_EQ(name,HANDLED_SYMBOL)) {
1231: fhandled=value;
1232: return 0;
1233: }
1234: return VHashReference::put_element(name, value);
1235: }
1236:
1237: HashStringValue& VException::hash() {
1238: if(fhash)
1239: return *fhash;
1240: HashStringValue& result=*new HashStringValue;
1.248 paf 1241:
1.442 moko 1242: if(const char* type=fexception.type(true))
1243: result.put(Symbols::TYPE_SYMBOL, new VString(*new String(type)));
1.349 moko 1244: if(problem_source)
1.442 moko 1245: result.put(Symbols::SOURCE_SYMBOL, new VString(*problem_source));
1246: if(origin.file_no) {
1247: result.put(Symbols::FILE_SYMBOL, new VString(ffile));
1248: result.put(Symbols::LINENO_SYMBOL, new VInt(1+origin.line));
1249: result.put(Symbols::COLNO_SYMBOL, new VInt(1+origin.col));
1250: }
1251: if(const char* comment=fexception.comment(true))
1252: result.put(Symbols::COMMENT_SYMBOL, new VString(comment));
1253: result.put(Symbols::HANDLED_SYMBOL, fhandled);
1.248 paf 1254:
1.442 moko 1255: fhash=&result;
1256: return result;
1.133 parser 1257: }
1.337 moko 1258:
1259: Temp_value_element::Temp_value_element(Request& arequest, Value& awhere, const String& aname, Value* awhat) :
1260: frequest(arequest),
1261: fwhere(awhere),
1262: fname(aname),
1263: saved(awhere.get_element(aname))
1264: {
1265: Junction* junction;
1266: if(saved && (junction=saved->get_junction()) && junction->is_getter)
1267: saved=0;
1268: frequest.put_element(fwhere, aname, awhat);
1269: }
1270:
1271: Temp_value_element::~Temp_value_element() {
1272: frequest.put_element(fwhere, fname, saved ? saved : VVoid::get());
1273: }
E-mail:
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to pa_request.C CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [parser3project] / parser3 / src / main