Annotation of parser3/src/main/pa_request.C, revision 1.342

1.54      paf         1: /** @file
1.55      paf         2:        Parser: request class main part. @see compile.C and execute.C.
                      3: 
1.329     moko        4:        Copyright (c) 2001-2012 Art. Lebedev Studio (http://www.artlebedev.com)
1.194     paf         5:        Author: Alexandr Petrosian <paf@design.ru> (http://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.1       paf        10: #include "pa_request.h"
1.3       paf        11: #include "pa_wwrapper.h"
                     12: #include "pa_vclass.h"
1.31      paf        13: #include "pa_globals.h"
1.30      paf        14: #include "pa_vint.h"
1.297     misha      15: #include "pa_vmethod_frame.h"
1.32      paf        16: #include "pa_types.h"
1.248     paf        17: #include "pa_venv.h"
                     18: #include "pa_vmath.h"
                     19: #include "pa_vstatus.h"
                     20: #include "pa_vrequest.h"
1.78      paf        21: #include "pa_vtable.h"
1.90      paf        22: #include "pa_vfile.h"
1.147     parser     23: #include "pa_dictionary.h"
1.208     paf        24: #include "pa_charset.h"
1.186     paf        25: #include "pa_charsets.h"
1.248     paf        26: #include "pa_cache_managers.h"
                     27: #include "pa_vmail.h"
                     28: #include "pa_vform.h"
                     29: #include "pa_vcookie.h"
                     30: #include "pa_vresponse.h"
                     31: #include "pa_vmemory.h"
1.253     paf        32: #include "pa_vconsole.h"
1.267     paf        33: #include "pa_vdate.h"
1.159     parser     34: 
1.342   ! moko       35: volatile const char * IDENT_PA_REQUEST_C="$Id: pa_request.C,v 1.341 2015/04/06 22:27:26 moko Exp $" IDENT_PA_REQUEST_H IDENT_PA_REQUEST_CHARSETS_H IDENT_PA_REQUEST_INFO_H IDENT_PA_VCONSOLE_H;
1.329     moko       36: 
1.248     paf        37: // consts
                     38: 
1.269     paf        39: #define UNHANDLED_EXCEPTION_METHOD_NAME "unhandled_exception"
1.207     paf        40: 
1.82      paf        41: /// content type of exception response, when no @MAIN:exception handler defined
1.248     paf        42: const char* UNHANDLED_EXCEPTION_CONTENT_TYPE="text/plain";
1.82      paf        43: 
                     44: /// content type of response when no $MAIN:defaults.content-type defined
1.248     paf        45: const char* DEFAULT_CONTENT_TYPE="text/html";
                     46: const char* ORIGINS_CONTENT_TYPE="text/plain";
                     47: 
                     48: // defines for globals
                     49: 
                     50: #define MAIN_METHOD_NAME "main"
                     51: #define AUTO_METHOD_NAME "auto"
1.309     misha      52: #define AUTOUSE_METHOD_NAME "autouse"
1.248     paf        53: #define BODY_NAME "body"
                     54: #define EXCEPTION_TYPE_PART_NAME "type"
                     55: #define EXCEPTION_SOURCE_PART_NAME "source"
                     56: #define EXCEPTION_COMMENT_PART_NAME "comment"
                     57: 
                     58: // globals
                     59: 
                     60: const String main_method_name(MAIN_METHOD_NAME);
                     61: const String auto_method_name(AUTO_METHOD_NAME);
1.309     misha      62: const String autouse_method_name(AUTOUSE_METHOD_NAME);
1.311     misha      63: 
1.248     paf        64: const String body_name(BODY_NAME);
                     65: const String exception_type_part_name(EXCEPTION_TYPE_PART_NAME);
                     66: const String exception_source_part_name(EXCEPTION_SOURCE_PART_NAME);
                     67: const String exception_comment_part_name(EXCEPTION_COMMENT_PART_NAME);
                     68: const String exception_handled_part_name(EXCEPTION_HANDLED_PART_NAME);
                     69: 
                     70: // defines for statics
                     71: 
                     72: #define CHARSETS_NAME "CHARSETS"
                     73: #define MIME_TYPES_NAME "MIME-TYPES"
1.330     moko       74: #define STRICT_VARS_NAME "STRICT-VARS"
1.248     paf        75: #define ORIGINS_MODE_NAME "ORIGINS"
                     76: #define CONF_METHOD_NAME "conf"
                     77: #define POST_PROCESS_METHOD_NAME "postprocess"
                     78: #define DOWNLOAD_NAME "download"
                     79: #define CLASS_PATH_NAME "CLASS_PATH"
1.277     paf        80: #define RESPONSE_BODY_FILE_NAME "file"
1.248     paf        81: 
                     82: // statics
                     83: 
                     84: static const String charsets_name(CHARSETS_NAME);
                     85: static const String main_class_name(MAIN_CLASS_NAME);
                     86: static const String mime_types_name(MIME_TYPES_NAME);
1.330     moko       87: static const String strict_vars_name(STRICT_VARS_NAME);
1.248     paf        88: static const String origins_mode_name(ORIGINS_MODE_NAME);
                     89: static const String conf_method_name(CONF_METHOD_NAME);
                     90: static const String post_process_method_name(POST_PROCESS_METHOD_NAME);
                     91: static const String download_name(DOWNLOAD_NAME);
                     92: static const String class_path_name(CLASS_PATH_NAME);
1.277     paf        93: static const String response_body_file_name(RESPONSE_BODY_FILE_NAME);
1.248     paf        94: 
                     95: // defines
1.82      paf        96: 
1.233     paf        97: // op.C
1.248     paf        98: VStateless_class& VClassMAIN_create();
1.123     paf        99: 
1.157     parser    100: //
1.248     paf       101: Request::Request(SAPI_Info& asapi_info, Request_info& arequest_info, 
1.325     moko      102:                                 String::Language adefault_lang):
1.248     paf       103:        // private
                    104:        anti_endless_execute_recoursion(0),
                    105: 
                    106:        // public
1.335     moko      107:        allow_class_replace(false),
1.248     paf       108:        method_frame(0),
                    109:        rcontext(0),
                    110:        wcontext(0),
                    111:        flang(adefault_lang),
1.191     paf       112:        fconnection(0),
1.307     misha     113:        finterrupted(false),
                    114:        fskip(SKIP_NOTHING),
                    115:        fin_cycle(0),
1.248     paf       116: 
                    117:        // public
1.257     paf       118:        request_info(arequest_info),
1.248     paf       119:        sapi_info(asapi_info),
                    120:        charsets(UTF8_charset, UTF8_charset, UTF8_charset), // default charsets
                    121: 
                    122:        main_class(VClassMAIN_create()),
1.260     paf       123:        form(*new VForm(charsets, arequest_info)),
1.248     paf       124:        mail(*new VMail),
                    125:        response(*new VResponse(arequest_info, charsets)),
1.298     misha     126:        cookie(*new VCookie(charsets, arequest_info)),
1.285     misha     127:        console(*new VConsole),
1.248     paf       128: 
                    129:        // private
                    130:        configure_admin_done(false),
                    131: 
                    132:        // private defaults
                    133:        fdefault_lang(adefault_lang), 
                    134:        // private mime types
                    135:        mime_types(0)
1.157     parser    136: {
1.261     paf       137:        pa_register_thread_request(*this);
                    138: 
1.248     paf       139:        // file_no=0 => unknown
1.263     paf       140:        file_list+=String::Body("UNKNOWN");
                    141:        file_list+=String::Body("-body of process-"); // pseudo_file_no__process
1.186     paf       142: 
1.178     paf       143:        // maybe expire old caches
1.264     paf       144:        cache_managers->maybe_expire();
1.178     paf       145:        
1.157     parser    146:        /// directly used
1.233     paf       147:        // MAIN class, operators
1.235     paf       148:        classes().put(main_class.name(), &main_class);
1.157     parser    149:        // classes:
                    150:        // table, file, random, mail, image, ...
1.248     paf       151:        methoded_array().register_directly_used(*this);
1.157     parser    152: 
                    153:        /// methodless
                    154:        // env class
1.249     paf       155:        classes().put(String::Body(ENV_CLASS_NAME), new VEnv(asapi_info));
1.175     paf       156:        // status class
1.325     moko      157:        classes().put(String::Body(STATUS_CLASS_NAME), new VStatus());
1.157     parser    158:        // request class
1.339     moko      159:        classes().put(String::Body(REQUEST_CLASS_NAME), new VRequest(arequest_info, charsets, form, asapi_info));
1.157     parser    160:        // cookie class
1.249     paf       161:        classes().put(String::Body(COOKIE_CLASS_NAME), &cookie);
1.253     paf       162:        // console class
1.285     misha     163:        classes().put(String::Body(CONSOLE_CLASS_NAME), &console);
1.157     parser    164:        /// methoded
                    165:        // response class
1.248     paf       166:        classes().put(response.get_class()->name(), &response);
1.157     parser    167: 
                    168:        /// bases used
                    169:        // form class
1.248     paf       170:        classes().put(form.get_class()->base_class()->name(), &form);
1.213     paf       171:        // mail class
1.248     paf       172:        classes().put(mail.get_class()->base_class()->name(), &mail);
1.157     parser    173:        // math class
1.248     paf       174:        {
                    175:                Value& math=*new VMath;
                    176:                classes().put(math.get_class()->base_class()->name(), &math);
                    177:        }
                    178:        // memory class
                    179:        {
                    180:                Value& memory=*new VMemory;
                    181:                classes().put(memory.get_class()->base_class()->name(), &memory);
                    182:        }
1.117     paf       183: }
1.192     paf       184: 
                    185: Request::~Request() {
                    186: #ifdef XML
                    187:        // if for some strange reason xml generic errors failed to be reported, free them up
1.248     paf       188:        if(const char* xml_generic_errors=xmlGenericErrors()) {
                    189:                SAPI::log(sapi_info, "warning: unreported xmlGenericErrors: %s", xml_generic_errors);
1.341     moko      190:                pa_free((void *)xml_generic_errors);
1.192     paf       191:        }
                    192: #endif
                    193: }
1.236     paf       194: 
1.248     paf       195: Value& Request::get_self() { return method_frame/*always have!*/->self(); }
1.192     paf       196: 
1.309     misha     197: Value* Request::get_class(const String& name){
                    198:        Value* result=classes().get(name);
1.313     misha     199:        if(!result)
1.309     misha     200:                if(Value* value=main_class.get_element(autouse_method_name))
                    201:                        if(Junction* junction=value->get_junction())
                    202:                                if(const Method *method=junction->method) {
                    203:                                        Value *vname=new VString(name);
1.322     moko      204:                                        VMethodFrame frame(*method, 0 /*no parent*/, main_class);
1.309     misha     205: 
                    206:                                        frame.store_params(&vname, 1);
                    207:                                        // we don't need the result
1.323     moko      208:                                        execute_method(frame);
1.309     misha     209: 
                    210:                                        result=classes().get(name);
                    211:                                }
1.313     misha     212: 
1.309     misha     213:        return result;
                    214: }
                    215: 
1.248     paf       216: static void load_charset(HashStringValue::key_type akey, 
                    217:                         HashStringValue::value_type avalue, 
                    218:                         Request_charsets* charsets) {
1.249     paf       219:        const String::Body NAME=String(akey, String::L_CLEAN).change_case(charsets->source(), String::CC_UPPER);
1.248     paf       220:        ::charsets.load_charset(*charsets, NAME, avalue->as_string());
1.208     paf       221: }
1.248     paf       222: void Request::configure_admin(VStateless_class& conf_class) {
1.208     paf       223:        if(configure_admin_done)
1.286     misha     224:                throw Exception(PARSER_RUNTIME,
1.248     paf       225:                0,
1.208     paf       226:                "parser already configured");
                    227:        configure_admin_done=true;
                    228:        
1.227     paf       229:        // charsets must only be specified in method_frame config
1.208     paf       230:        // so that users would not interfere
                    231: 
                    232:        /* $MAIN:CHARSETS[
                    233:                        $.charsetname1[/full/path/to/charset/file.cfg]
                    234:                        ...
                    235:                ]
                    236:        */
1.308     misha     237:        if(Value* vcharsets=conf_class.get_element(charsets_name)) {
1.342   ! moko      238:                if(!vcharsets->is_string()) {
1.248     paf       239:                        if(HashStringValue* charsets=vcharsets->get_hash())
1.281     paf       240:                                charsets->for_each<Request_charsets*>(load_charset, &this->charsets);
1.240     paf       241:                        else
1.286     misha     242:                                throw Exception(PARSER_RUNTIME,
1.240     paf       243:                                        0,
                    244:                                        "$" MAIN_CLASS_NAME ":" CHARSETS_NAME " must be hash");
1.342   ! moko      245:                }
1.208     paf       246:        }
                    247: 
1.330     moko      248: #ifdef STRICT_VARS
1.332     moko      249:        VVoid::strict_vars=false;
1.330     moko      250:        if(Value* strict_vars=conf_class.get_element(strict_vars_name)) {
                    251:                if(strict_vars->is_bool())
                    252:                        VVoid::strict_vars=strict_vars->as_bool();
                    253:                        else
                    254:                                throw Exception(PARSER_RUNTIME,
                    255:                                        0,
                    256:                                        "$" MAIN_CLASS_NAME ":" STRICT_VARS_NAME " must be bool");
                    257:        }
                    258: #endif
                    259: 
1.227     paf       260:        // configure method_frame options
1.208     paf       261:        //      until someone with less privileges have overriden them
1.248     paf       262:        methoded_array().configure_admin(*this);
1.208     paf       263: }
1.150     parser    264: 
1.269     paf       265: const char* Request::get_exception_cstr(
                    266:                                                                                const Exception& e,
                    267:                                                                                Request::Exception_details& details) {
                    268: #define PA_URI_FORMAT "%s: "
                    269: #define PA_ORIGIN_FILE_POS_FORMAT "%s(%d:%d): "
                    270: #define PA_SOURCE_FORMAT "'%s' "
                    271: #define PA_COMMENT_TYPE_FORMAT "%s [%s]"
                    272:        char* result=new(PointerFreeGC) char[MAX_STRING];
                    273: 
                    274:        if(details.problem_source) { // do we know the guy?
                    275:                if(details.trace) { // do whe know where he came from?
                    276:                        Operation::Origin origin=details.trace.origin();
                    277:                        snprintf(result, MAX_STRING, 
                    278:                                PA_URI_FORMAT 
                    279:                                PA_ORIGIN_FILE_POS_FORMAT 
                    280:                                PA_SOURCE_FORMAT PA_COMMENT_TYPE_FORMAT,
                    281:                                request_info.uri,
                    282:                                file_list[origin.file_no].cstr(), 1+origin.line, 1+origin.col,
                    283:                                details.problem_source->cstr(),
                    284:                                e.comment(), e.type()
                    285:                        );
                    286:                } else
                    287:                        snprintf(result, MAX_STRING, 
                    288:                                PA_URI_FORMAT 
                    289:                                PA_SOURCE_FORMAT PA_COMMENT_TYPE_FORMAT,
                    290:                                request_info.uri,
                    291:                                details.problem_source->cstr(),
                    292:                                e.comment(), e.type()
                    293:                        );
                    294:        } else
                    295:                snprintf(result, MAX_STRING, 
                    296:                        PA_URI_FORMAT 
                    297:                        PA_COMMENT_TYPE_FORMAT,
                    298:                        request_info.uri,
                    299:                        e.comment(), e.type()
                    300:                );
                    301: 
                    302:        return result;
                    303: }
1.272     paf       304: 
                    305: void Request::configure() {
                    306:        // configure admin options if not configured yet
                    307:        if(!configure_admin_done)
                    308:                configure_admin(main_class);
                    309: 
                    310:        // configure not-admin=user options
                    311:        methoded_array().configure_user(*this);
                    312: 
                    313:        // $MAIN:MIME-TYPES
1.308     misha     314:        if(Value* element=main_class.get_element(mime_types_name))
1.272     paf       315:                if(Table *table=element->get_table())
                    316:                        mime_types=table;                       
                    317: }
1.64      paf       318: /**
                    319:        load MAIN class, execute @main.
                    320:        MAIN class consists of all the auto.p files we'd manage to find
                    321:        plus
                    322:        the file user requested us to process
                    323:        all located classes become children of one another,
                    324:        composing class we name 'MAIN'
1.180     paf       325: 
                    326:        @test log stack trace
                    327: 
1.64      paf       328: */
1.248     paf       329: void Request::core(const char* config_filespec, bool config_fail_on_read_problem, bool header_only) {
1.169     parser    330:        try {
1.211     paf       331:                // loading config
                    332:                if(config_filespec) {
1.248     paf       333:                        const String& filespec=*new String(config_filespec);
1.318     misha     334:                        use_file_directly(main_class,
                    335:                                filespec,
1.248     paf       336:                                config_fail_on_read_problem, 
                    337:                                true /*file must exist if 'fail on read problem' not set*/);
1.29      paf       338:                }
1.8       paf       339: 
1.338     moko      340:                // filling mail received
                    341:                mail.fill_received(*this);
                    342: 
1.72      paf       343:                // loading auto.p files from document_root/.. 
                    344:                // to the one beside requested file.
                    345:                // all assigned bases from upper dir
                    346:                {
1.248     paf       347:                        const char* after=request_info.path_translated;
                    348:                        size_t drlen=strlen(request_info.document_root);
                    349:                        if(memcmp(after, request_info.document_root, drlen)==0) {
1.115     paf       350:                                after+=drlen;
                    351:                                if(after[-1]=='/') 
                    352:                                        --after;
                    353:                        }
                    354:                        
1.248     paf       355:                        while(const char* before=strchr(after, '/')) {
                    356:                                String& sfile_spec=*new String;
                    357:                                if(after!=request_info.path_translated) {
                    358:                                        sfile_spec.append_strdup(
                    359:                                                request_info.path_translated, before-request_info.path_translated,
                    360:                                                String::L_CLEAN);
1.152     parser    361:                                        sfile_spec << "/" AUTO_FILE_NAME;
                    362: 
1.318     misha     363:                                        use_file_directly(main_class,
1.248     paf       364:                                                sfile_spec, 
                    365:                                                true /*fail on read problem*/, 
                    366:                                                false /*but ignore absence, sole user*/);
1.115     paf       367:                                }
1.317     misha     368:                                for(after=before+1;*after=='/';after++);
1.72      paf       369:                        }
                    370:                }
1.34      paf       371: 
1.272     paf       372:                try {
                    373:                        // compile requested file
                    374:                        String& spath_translated=*new String;
                    375:                        spath_translated.append_help_length(request_info.path_translated, 0, String::L_TAINTED);
1.318     misha     376:                        use_file_directly(main_class, spath_translated);
1.272     paf       377: 
                    378:                        configure();
                    379:                } catch(...) {
                    380:                        configure(); // configure anyway, useful in @unhandled_exception [say, if they would want to mail by SMTP something]
                    381:                        rethrow;
                    382:                }
1.25      paf       383: 
                    384:                // execute @main[]
1.248     paf       385:                const String* body_string=execute_virtual_method(main_class, main_method_name);
1.41      paf       386:                if(!body_string)
1.286     misha     387:                        throw Exception(PARSER_RUNTIME,
1.248     paf       388:                                0,
1.340     moko      389:                                "'" MAIN_METHOD_NAME "' method not found");
1.79      paf       390: 
1.250     paf       391:                // extract response body
                    392:                Value* body_value=response.fields().get(download_name); // $response:download?
                    393:                bool as_attachment=body_value!=0;
                    394:                if(!body_value)
                    395:                        body_value=response.fields().get(body_name); // $response:body
                    396:                if(!body_value)
                    397:                        body_value=new VString(*body_string); // just result of ^main[]
                    398: 
1.119     paf       399:                // @postprocess
1.308     misha     400:                if(Value* value=main_class.get_element(post_process_method_name))
1.248     paf       401:                        if(Junction* junction=value->get_junction())
1.91      paf       402:                                if(const Method *method=junction->method) {
                    403:                                        // preparing to pass parameters to 
1.119     paf       404:                                        //      @postprocess[data]
1.322     moko      405:                                        VMethodFrame frame(*method, 0 /*no parent*/, main_class);
1.91      paf       406: 
1.300     misha     407:                                        frame.store_params(&body_value, 1);
1.323     moko      408:                                        execute_method(frame);
                    409: 
                    410:                                        body_value=&frame.result().as_value();
1.91      paf       411:                                }
1.90      paf       412: 
1.303     misha     413:                VFile* body_file=body_value->as_vfile(flang, &charsets);
1.41      paf       414: 
1.45      paf       415:                // OK. write out the result
1.248     paf       416:                output_result(body_file, header_only, as_attachment);
1.183     paf       417: 
1.171     parser    418:        } catch(const Exception& e) { // request handling problem
1.268     paf       419:                try {
1.76      paf       420:                // we're returning not result, but error explanation
1.269     paf       421: 
                    422:                Request::Exception_details details=get_details(e);
                    423:                const char* exception_cstr=get_exception_cstr(e, details);
1.258     paf       424: 
                    425:                // reset language to default
                    426:                flang=fdefault_lang;
                    427:                
                    428:                // reset response
                    429:                response.fields().clear();
                    430: 
                    431:                // this is what we'd return in $response:body
                    432:                const String* body_string=0;
                    433: 
                    434:                // maybe we'd be lucky enough as to report an error
                    435:                // in a gracefull way...
1.308     misha     436:                if(Value* value=main_class.get_element(*new String(UNHANDLED_EXCEPTION_METHOD_NAME))) {
1.258     paf       437:                        if(Junction* junction=value->get_junction()) {
                    438:                                if(const Method *method=junction->method) {
1.287     misha     439:                                        // preparing to pass parameters to 
                    440:                                        //      @unhandled_exception[exception;stack]
                    441: 
                    442:                                        // $stack[^table::create{name   file    lineno  colno}]
                    443:                                        Table::columns_type stack_trace_columns(new ArrayString);
                    444:                                        *stack_trace_columns+=new String("name");
                    445:                                        *stack_trace_columns+=new String("file");
                    446:                                        *stack_trace_columns+=new String("lineno");
                    447:                                        *stack_trace_columns+=new String("colno");
                    448:                                        Table& stack_trace=*new Table(stack_trace_columns);
                    449:                                        if(!exception_trace.is_empty()/*signed!*/) 
                    450:                                                for(size_t i=exception_trace.bottom_index(); i<exception_trace.top_index(); i++) {
                    451:                                                        Trace trace=exception_trace.get(i);
                    452:                                                        Table::element_type row(new ArrayString);
                    453: 
                    454:                                                        *row+=trace.name(); // name column
                    455:                                                        Operation::Origin origin=trace.origin();
                    456:                                                        if(origin.file_no) {
                    457:                                                                *row+=new String(file_list[origin.file_no], String::L_TAINTED); // 'file' column
                    458:                                                                *row+=new String(String::Body::Format(1+origin.line), String::L_CLEAN); // 'lineno' column
                    459:                                                                *row+=new String(String::Body::Format(1+origin.col), String::L_CLEAN); // 'colno' column
                    460:                                                        }
                    461:                                                        stack_trace+=row;
                    462:                                                }
                    463: 
1.323     moko      464:                                        // future $response:body=
                    465:                                        //   execute ^unhandled_exception[exception;stack]
                    466:                                        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)
                    467: 
                    468:                                        VMethodFrame frame(*method, 0 /*no caller*/, main_class);
1.300     misha     469:                                        Value *params[]={&details.vhash, new VTable(&stack_trace)};
1.323     moko      470: 
1.300     misha     471:                                        frame.store_params(params, 2);
1.323     moko      472:                                        execute_method(frame);
1.287     misha     473: 
1.323     moko      474:                                        body_string=&frame.result().as_string();
1.233     paf       475:                                }
1.30      paf       476:                        }
1.258     paf       477:                }
                    478:                
                    479:                if(!body_string) {  // couldn't report an error beautifully?
                    480:                        // doing that ugly
                    481: 
                    482:                        // future $response:content-type
1.314     misha     483:                        response.fields().put(http_content_type, new VString(*new String(UNHANDLED_EXCEPTION_CONTENT_TYPE)));
1.258     paf       484:                        // future $response:body
1.269     paf       485:                        body_string=new String(exception_cstr);
1.258     paf       486:                }
1.41      paf       487: 
1.258     paf       488:                VString body_vstring(*body_string);
1.303     misha     489:                VFile* body_file=body_vstring.as_vfile(flang, &charsets);
1.90      paf       490: 
1.273     paf       491:                // conditionally log it
                    492:                Value* vhandled=details.vhash.hash().get(exception_handled_part_name);
                    493:                if(!vhandled || !vhandled->as_bool()) {
                    494:                        SAPI::log(sapi_info, "%s", exception_cstr);
                    495:                }
                    496: 
1.258     paf       497:                // ERROR. write it out
                    498:                output_result(body_file, header_only, false);
1.287     misha     499: 
1.273     paf       500:                } catch(const Exception& e) { // exception in unhandled exception
1.269     paf       501:                        Request::Exception_details details=get_details(e);
                    502:                        const char* exception_cstr=get_exception_cstr(e, details);
1.273     paf       503:                        // unconditionally log the beast
                    504:                        SAPI::log(sapi_info, "%s", exception_cstr);
1.269     paf       505: 
                    506:                        throw Exception(0,
                    507:                                0,
                    508:                                "in %s", 
                    509:                                        exception_cstr);
1.268     paf       510:                }
1.1       paf       511:        }
                    512: }
                    513: 
1.266     paf       514: uint Request::register_file(String::Body file_spec) {
1.248     paf       515:        file_list+=file_spec;
                    516:        return file_list.count()-1;
                    517: }
                    518: 
1.318     misha     519: void Request::use_file_directly(VStateless_class& aclass,
                    520:                                const String& file_spec,
                    521:                                bool fail_on_read_problem, 
                    522:                                bool fail_on_file_absence) {
                    523: 
1.73      paf       524:        // cyclic dependence check
1.318     misha     525:        if(used_files.get(file_spec))
1.248     paf       526:                return;
1.318     misha     527:        used_files.put(file_spec, true);
                    528: 
                    529:        if(fail_on_read_problem && !fail_on_file_absence) // ignore file absence if asked for
                    530:                if(!entry_exists(file_spec))
                    531:                        return;
                    532: 
                    533:        if(const char* source=file_read_text(charsets, file_spec, fail_on_read_problem))
                    534:                use_buf(aclass, source, 0, register_file(file_spec));
                    535: }
                    536: 
                    537: 
                    538: void Request::use_file(VStateless_class& aclass,
                    539:                                const String& file_name,
                    540:                                const String* use_filespec/*absolute*/) {
1.73      paf       541: 
1.326     misha     542:        if(file_name.is_empty())
                    543:                throw Exception(PARSER_RUNTIME,
                    544:                        0,
                    545:                        "usage failed - no filename was specified");
                    546: 
1.318     misha     547:        const String* filespec=0;
                    548: 
                    549:        if(file_name.first_char()=='/') //absolute path? [no need to scan MAIN:CLASS_PATH]
                    550:                filespec=&absolute(file_name);
                    551:        else if(use_filespec){ // search in current dir first
1.331     misha     552:                size_t last_slash_pos=use_filespec->strrpbrk("/");
                    553:                if(last_slash_pos!=STRING_NOT_FOUND)
                    554:                        filespec=file_exist(use_filespec->mid(0, last_slash_pos), file_name); // found in current dir?
1.318     misha     555:        }
                    556: 
                    557:        if(!filespec){
                    558:                // prevent multiple scan CLASS_PATH for searching one file
                    559:                if(searched_along_class_path.get(file_name))
                    560:                        return;
                    561:                searched_along_class_path.put(file_name, true);
1.308     misha     562:                if(Value* element=main_class.get_element(class_path_name)) {
1.233     paf       563:                        if(element->is_string()) {
1.318     misha     564:                                filespec=file_exist(absolute(element->as_string()), file_name); // found at class_path?
1.233     paf       565:                        } else if(Table *table=element->get_table()) {
1.318     misha     566:                                for(size_t i=table->count(); i--; ) {
1.248     paf       567:                                        const String& path=*(*table->get(i))[0];
1.318     misha     568:                                        if(filespec=file_exist(absolute(path), file_name))
1.233     paf       569:                                                break; // found along class_path
                    570:                                }
                    571:                        } else
1.286     misha     572:                                throw Exception(PARSER_RUNTIME,
1.233     paf       573:                                        0,
                    574:                                        "$" CLASS_PATH_NAME " must be string or table");
1.318     misha     575:                        if(!filespec)
1.286     misha     576:                                throw Exception(PARSER_RUNTIME,
1.233     paf       577:                                        &file_name,
                    578:                                        "not found along " MAIN_CLASS_NAME ":" CLASS_PATH_NAME);
1.318     misha     579:                } else 
1.286     misha     580:                        throw Exception(PARSER_RUNTIME,
1.153     parser    581:                                &file_name,
1.203     paf       582:                                "usage failed - no $" MAIN_CLASS_NAME  ":" CLASS_PATH_NAME " were specified");
1.148     parser    583:        }
1.230     paf       584: 
1.318     misha     585:        use_file_directly(aclass, *filespec);
1.16      paf       586: }
                    587: 
1.208     paf       588: 
1.248     paf       589: void Request::use_buf(VStateless_class& aclass,
1.318     misha     590:                                const char* source, const String* main_alias, 
                    591:                                uint file_no,
                    592:                                int line_no_offset) {
1.233     paf       593:        // temporary zero @conf so to maybe-replace it in compiled code
1.248     paf       594:        Temp_method temp_method_conf(aclass, conf_method_name, 0);
1.233     paf       595:        // temporary zero @auto so to maybe-replace it in compiled code
1.248     paf       596:        Temp_method temp_method_auto(aclass, auto_method_name, 0);
1.233     paf       597: 
1.295     misha     598:        // compile loaded classes
                    599:        ArrayClass& cclasses=compile(&aclass, source, main_alias, file_no, line_no_offset);
1.212     paf       600: 
1.248     paf       601:        VString* vfilespec=
                    602:                new VString(*new String(file_list[file_no], String::L_TAINTED));
1.295     misha     603: 
                    604:        for(size_t i=0; i<cclasses.count(); i++){
                    605:                VStateless_class& cclass=*cclasses.get(i);
1.296     misha     606: 
                    607:                // locate and execute possible @conf[] static
1.295     misha     608:                Execute_nonvirtual_method_result executed=execute_nonvirtual_method(cclass, 
                    609:                        conf_method_name, vfilespec,
                    610:                        false/*no string result needed*/);
                    611:                if(executed.method)
                    612:                        configure_admin(cclass/*, executed.method->name*/);
                    613: 
                    614:                // locate and execute possible @auto[] static
                    615:                execute_nonvirtual_method(cclass, 
                    616:                        auto_method_name, vfilespec,
                    617:                        false/*no result needed*/);
1.336     moko      618: 
                    619:                cclass.enable_default_setter();
1.295     misha     620:        }
1.19      paf       621: }
                    622: 
1.248     paf       623: const String& Request::relative(const char* apath, const String& relative_name) {
1.341     moko      624:        char *hpath=pa_strdup(apath);
1.248     paf       625:        String& result=*new String;
                    626:        if(rsplit(hpath, '/')) // if something/splitted
1.217     paf       627:                result << hpath << "/";
1.248     paf       628:        result << relative_name;
                    629:        return result;
1.19      paf       630: }
                    631: 
1.77      paf       632: const String& Request::absolute(const String& relative_name) {
1.217     paf       633:        if(relative_name.first_char()=='/') {
1.341     moko      634:                String& result=*new String(pa_strdup(request_info.document_root));
1.104     paf       635:                result << relative_name;
1.19      paf       636:                return result;
                    637:        } else 
1.248     paf       638:                if(relative_name.pos("://")!=STRING_NOT_FOUND // something like "http://xxx"
1.247     paf       639: #ifdef WIN32
                    640:                        || relative_name.pos(":")==1  // DRIVE:
                    641:                        || relative_name.starts_with("\\\\") // UNC1
                    642:                        || relative_name.starts_with("//") // UNC2
                    643: #endif
                    644:                        )
                    645:                        return relative_name;
                    646:                else
1.248     paf       647:                        return relative(request_info.path_translated, relative_name);
1.1       paf       648: }
1.45      paf       649: 
1.267     paf       650: #ifndef DOXYGEN
                    651: class Add_header_attribute_info
                    652: {
                    653: public:
                    654:        Add_header_attribute_info(Request& ar) : r(ar), add_last_modified(true) {}
                    655:        Request& r;
                    656:        bool add_last_modified;
                    657: };
                    658: #endif
1.248     paf       659: static void add_header_attribute(
1.290     misha     660:                                 HashStringValue::key_type name, 
                    661:                                 HashStringValue::value_type value, 
1.267     paf       662:                                 Add_header_attribute_info* info) {
1.290     misha     663:        if(name==BODY_NAME
                    664:                || name==DOWNLOAD_NAME
                    665:                || name==CHARSET_NAME)
1.101     paf       666:                return;
1.290     misha     667:        
1.316     misha     668:        const char* aname=String(name, String::L_URI).untaint_and_transcode_cstr(String::L_URI, &info->r.charsets);
1.101     paf       669: 
1.267     paf       670:        SAPI::add_header_attribute(info->r.sapi_info,
1.303     misha     671:                        aname, 
1.316     misha     672:                        attributed_meaning_to_string(*value, String::L_URI, false).untaint_and_transcode_cstr(String::L_URI, &info->r.charsets)
1.303     misha     673:                );
1.267     paf       674: 
1.290     misha     675:        if(strcasecmp(aname, "last-modified")==0)
1.303     misha     676:                info->add_last_modified=false;
1.267     paf       677: }
                    678: 
                    679: static void output_sole_piece(Request& r,
                    680:                                                          bool header_only, 
                    681:                                                          VFile& body_file,
                    682:                                                          Value* body_file_content_type) {
                    683:        // transcode text body when "text/*" or simple result
                    684:        String::C output(body_file.value_ptr(), body_file.value_size());
                    685:        if(!body_file_content_type/*vstring.as_vfile*/ || body_file_content_type->as_string().pos("text/")==0)
                    686:                output=Charset::transcode(output, 
                    687:                        r.charsets.source(), 
                    688:                        r.charsets.client());
                    689: 
1.311     misha     690:        // prepare header: Content-Length
                    691:        SAPI::add_header_attribute(r.sapi_info, HTTP_CONTENT_LENGTH, format(output.length, "%u"));
1.267     paf       692: 
                    693:        // send header
                    694:        SAPI::send_header(r.sapi_info);
                    695:        
                    696:        // send body
                    697:        if(!header_only)
                    698:                SAPI::send_body(r.sapi_info, output.str, output.length);
                    699: }
                    700: 
                    701: #ifndef DOXYGEN
                    702: struct Range
                    703: {
                    704:        size_t start;
                    705:        size_t end;
                    706: };
                    707: #endif
1.313     misha     708: static void parse_range(const String* s, Array<Range> &ar) {
1.267     paf       709:        const char *p = s->cstr();
                    710:        if(s->starts_with("bytes="))
                    711:                p += 6;
                    712:        Range r;
                    713:        while(*p){
                    714:                r.start = (size_t)-1;
                    715:                r.end = (size_t)-1;
                    716:                if(*p >= '0' && *p <= '9'){
                    717:                        r.start = atol(p);
                    718:                        while(*p>='0' && *p<='9') ++p;
                    719:                }
                    720:                if(*p++ != '-') break;
                    721:                if(*p >= '0' && *p <= '9'){
                    722:                        r.end = atol(p);
                    723:                        while(*p>='0' && *p<='9') ++p;
                    724:                }
                    725:                if(*p == ',') ++p;
                    726:                ar += r;
                    727:        }
1.101     paf       728: }
1.267     paf       729: 
                    730: static void output_pieces(Request& r,
                    731:                                                  bool header_only, 
                    732:                                                  const String& filename,
                    733:                                                  size_t content_length,
                    734:                                                  Value& date,
                    735:                                                  bool add_last_modified) 
                    736: {
1.315     misha     737:        SAPI::add_header_attribute(r.sapi_info, "accept-ranges", "bytes");
1.270     paf       738: 
1.267     paf       739:        const size_t BUFSIZE = 10*0x400;
                    740:        char buf[BUFSIZE];
1.339     moko      741:        const char *range = SAPI::Env::get(r.sapi_info, "HTTP_RANGE");
1.267     paf       742:        size_t offset=0;
                    743:        size_t part_length=content_length;
                    744:        if(range){
                    745:                Array<Range> ar;
                    746:                parse_range(new String(range), ar);
                    747:                size_t count = ar.count();
                    748:                if(count == 1){
                    749:                        Range &rg = ar.get_ref(0);
                    750:                        if(rg.start == (size_t)-1 && rg.end == (size_t)-1){
1.311     misha     751:                                SAPI::add_header_attribute(r.sapi_info, HTTP_STATUS, "416 Requested Range Not Satisfiable");
1.267     paf       752:                                return;
                    753:                        }
                    754:                        if(rg.start == (size_t)-1 && rg.end != (size_t)-1){
                    755:                                rg.start = content_length - rg.end;
                    756:                                rg.end = content_length;
                    757:                                offset += rg.start;
                    758:                                part_length = rg.end-rg.start;
                    759:                        }else if(rg.start != (size_t)-1 && rg.end == (size_t)-1){
                    760:                                rg.end = content_length-1;
                    761:                                offset += rg.start;
                    762:                                part_length -= rg.start;
                    763:                        }
                    764:                        if(part_length == 0){
1.311     misha     765:                                SAPI::add_header_attribute(r.sapi_info, HTTP_STATUS, "204 No Content");
1.267     paf       766:                                return;
                    767:                        }
1.311     misha     768:                        SAPI::add_header_attribute(r.sapi_info, HTTP_STATUS, "206 Partial Content");
1.267     paf       769:                        snprintf(buf, BUFSIZE, "bytes %u-%u/%u", rg.start, rg.end, content_length);
1.315     misha     770:                        SAPI::add_header_attribute(r.sapi_info, "content-range", buf);
1.267     paf       771:                }else if(count != 0){
1.311     misha     772:                        SAPI::add_header_attribute(r.sapi_info, HTTP_STATUS, "501 Not Implemented");
1.267     paf       773:                        return;
                    774:                }
                    775:        }
                    776: 
                    777: 
1.311     misha     778:        SAPI::add_header_attribute(r.sapi_info, HTTP_CONTENT_LENGTH, format(part_length, "%u"));
1.267     paf       779: 
1.314     misha     780:        if(add_last_modified)
1.315     misha     781:                SAPI::add_header_attribute(r.sapi_info, "last-modified", attributed_meaning_to_string(date, String::L_AS_IS, true).cstr());
1.314     misha     782: 
1.267     paf       783:        SAPI::send_header(r.sapi_info);
                    784: 
                    785:        const String& filespec=r.absolute(filename);
                    786: 
                    787:        size_t sent = 0;
                    788:        if(!header_only){
                    789:                size_t to_read = 0;
                    790:                size_t size = 0;
                    791:                do{
                    792:                        to_read = part_length<BUFSIZE?part_length:BUFSIZE;
                    793:                        File_read_result read_result=file_read(r.charsets, filespec, 
                    794:                                false /*as text*/,  0/*params*/, true/*fail on problem*/,
                    795:                                buf, offset, to_read);
                    796:                        to_read=read_result.length;
                    797:                        if(to_read == 0)
                    798:                                break;
                    799:                        offset += to_read;
                    800: 
                    801:                        size = SAPI::send_body(r.sapi_info, read_result.str, to_read);
                    802:                        sent += size;
                    803:                        if(size != to_read)
                    804:                                break;
                    805:                        part_length -= to_read;
                    806:                }while(part_length);
                    807:        }
                    808: }
                    809: 
1.248     paf       810: void Request::output_result(VFile* body_file, bool header_only, bool as_attachment) {
1.51      paf       811:        // header: cookies
1.248     paf       812:        cookie.output_result(sapi_info);
1.51      paf       813:        
1.314     misha     814:        // _file_ content-type might be specified
1.267     paf       815:        Value* body_file_content_type=body_file->fields().get(content_type_name);
1.92      paf       816: 
1.314     misha     817:        // Content-Disposition
1.267     paf       818:        Value* vfile_name=body_file->fields().get(name_name);
                    819:        if(!vfile_name) {
                    820:                vfile_name=body_file->fields().get(response_body_file_name);
1.313     misha     821:                if(vfile_name) {
                    822:                        char* name_cstr=vfile_name->as_string().cstrm();
1.274     paf       823:                        if(char *after_slash=rsplit(name_cstr, '\\'))
                    824:                                name_cstr=after_slash;
                    825:                        if(char *after_slash=rsplit(name_cstr, '/'))
                    826:                                name_cstr=after_slash;
1.327     misha     827:                        vfile_name=new VString(*new String(name_cstr));
1.274     paf       828:                }
1.267     paf       829:        }
                    830:        if(vfile_name) {
                    831:                const String& sfile_name=vfile_name->as_string();
                    832:                if(sfile_name!=NONAME_DAT) {
1.283     misha     833:                        VHash& hash=*new VHash();
                    834:                        HashStringValue &h=hash.hash();
1.288     misha     835:                        h.put(value_name, new VString( as_attachment ? content_disposition_attachment : content_disposition_inline ));
1.327     misha     836:                        h.put(content_disposition_filename_name, new VString(String(sfile_name, String::L_HTTP_HEADER)));
1.283     misha     837: 
1.311     misha     838:                        response.fields().put(content_disposition, &hash);
1.267     paf       839: 
                    840:                        if(!body_file_content_type)
                    841:                                body_file_content_type=new VString(mime_type_of(sfile_name.cstr()));
1.111     paf       842:                }
1.267     paf       843:        }
                    844: 
1.312     misha     845:        // set Content-Type
1.314     misha     846:        if(body_file_content_type) {
                    847:                // body file content type
                    848:                response.fields().put(content_type_name, body_file_content_type);
                    849:        } else {
                    850:                // default content type
                    851:                response.fields().put_dont_replace(content_type_name, new VString(*new String(DEFAULT_CONTENT_TYPE)));
                    852:        }
1.312     misha     853: 
1.314     misha     854:        // prepare header: $response:fields without :body, :download and :charset
1.267     paf       855:        Add_header_attribute_info info(*this);
1.281     paf       856:        response.fields().for_each<Add_header_attribute_info*>(add_header_attribute, &info);
1.50      paf       857: 
1.267     paf       858:        if(Value* vresponse_body_file=body_file->fields().get(response_body_file_name)) {
1.314     misha     859:                // $response:[download|body][$.file[filespec]] -- optput specified file
1.267     paf       860:                const String& sresponse_body_file=vresponse_body_file->as_string();
                    861:                size_t content_length=0;
                    862:                time_t atime=0, mtime=0, ctime=0;
                    863:                file_stat(absolute(sresponse_body_file),
                    864:                        content_length,
                    865:                        atime, mtime, ctime);
                    866: 
                    867:                VDate* vdate=0;
                    868:                if(Value* v=body_file->fields().get("mdate")) {
1.308     misha     869:                        if(Value* vdatep=v->as(VDATE_TYPE))
1.267     paf       870:                                vdate=static_cast<VDate*>(vdatep);
                    871:                        else 
1.286     misha     872:                                throw Exception(PARSER_RUNTIME, 0, "mdate must be a date");
1.267     paf       873:                }
                    874:                if(!vdate)
                    875:                        vdate=new VDate(mtime);
1.62      paf       876: 
1.267     paf       877:                output_pieces(*this, header_only, 
                    878:                        sresponse_body_file,
                    879:                        content_length,
                    880:                        *vdate,
                    881:                        info.add_last_modified);
                    882:        } else {
1.314     misha     883:                if(body_file_content_type)
                    884:                        if(HashStringValue *hash=body_file_content_type->get_hash())
                    885:                                body_file_content_type=hash->get(value_name);
                    886: 
1.267     paf       887:                output_sole_piece(*this, header_only, 
                    888:                        *body_file, body_file_content_type);
                    889:        }
1.50      paf       890: }
1.104     paf       891: 
1.328     misha     892: const String& Request::mime_type_of(const String* file_name) {
                    893:        return mime_type_of(file_name?file_name->taint_cstr(String::L_FILE_SPEC):0);
                    894: }
                    895: 
1.248     paf       896: const String& Request::mime_type_of(const char* user_file_name_cstr) {
1.104     paf       897:        if(mime_types)
1.248     paf       898:                if(const char* cext=strrchr(user_file_name_cstr, '.')) {
                    899:                        String sext(++cext);
1.246     paf       900:                        Table::Action_options options;
1.342   ! moko      901:                        if(mime_types->locate(0, sext.change_case(charsets.source(), String::CC_LOWER), options)) {
1.313     misha     902:                                if(const String* result=mime_types->item(1))
                    903:                                        return *result;
1.104     paf       904:                                else
1.286     misha     905:                                        throw Exception(PARSER_RUNTIME,
1.248     paf       906:                                                0,
1.212     paf       907:                                                MIME_TYPES_NAME  " table column elements must not be empty");
1.342   ! moko      908:                        }
1.104     paf       909:                }
1.248     paf       910: 
                    911:        return *new String("application/octet-stream");
                    912: }
                    913: 
1.318     misha     914: const String* Request::get_used_filename(uint file_no){
                    915:        if(file_no < file_list.count())
                    916:                return new String(file_list[file_no], String::L_TAINTED);
                    917:        return 0;
                    918: }
                    919: 
1.248     paf       920: #ifdef XML
1.280     paf       921: xmlChar* Request::transcode(const String& s) {
1.248     paf       922:        return charsets.source().transcode(s);
                    923: }
                    924: 
1.280     paf       925: xmlChar* Request::transcode(const String::Body s) {
1.248     paf       926:        return charsets.source().transcode(s);
                    927: }
                    928: 
1.280     paf       929: const String& Request::transcode(const xmlChar* s) {
1.248     paf       930:        return charsets.source().transcode(s);
1.233     paf       931: }
1.248     paf       932: #endif
                    933: 
                    934: 
                    935: const Request::Trace Request::Exception_trace::extract_origin(const String*& problem_source) {
                    936:        Trace result;
                    937:        if(!is_empty()) {
                    938:                result=bottom_value();
                    939:                if(!problem_source) { // we don't know who trigged the bug?
1.279     paf       940:                        problem_source=result.name(); // consider the stack-top-guy (we usually know source of next-from-throw-point exception) did that
1.248     paf       941:                        fbottom++;
                    942:                } else if(result.name()==problem_source) // it is that same guy?
                    943:                        fbottom++; // throw away that trace
1.279     paf       944:                else {
                    945:                        // stack top contains not us, 
                    946:                        //      leaving result intact
                    947:                        //      it would help ^throw
                    948:                }
1.248     paf       949:        }
                    950: 
                    951:        return result;
                    952: }
                    953: 
                    954: Request::Exception_details Request::get_details(const Exception& e) {
                    955:        const String* problem_source=e.problem_source();
                    956:        Trace trace=exception_trace.extract_origin(problem_source);
                    957:        
                    958:        VHash& vhash=*new VHash;  HashStringValue& hash=vhash.hash();
                    959: 
                    960:        // $.type
                    961:        if(const char* type=e.type(true))
                    962:                hash.put(exception_type_part_name, new VString(*new String(type)));
                    963: 
                    964:        // $.source
                    965:        if(problem_source) {
1.306     misha     966:                String& source=*new String(*problem_source, String::L_TAINTED);
1.248     paf       967:                hash.put(exception_source_part_name, new VString(source));
                    968:        }
                    969: 
                    970:        // $.file lineno colno
                    971:        if(trace) {
                    972:                const Operation::Origin origin=trace.origin();
1.263     paf       973:                hash.put(String::Body("file"),
1.248     paf       974:                        new VString(*new String(file_list[origin.file_no], String::L_TAINTED)));
1.263     paf       975:                hash.put(String::Body("lineno"), new VInt(1+origin.line));
                    976:                hash.put(String::Body("colno"), new VInt(1+origin.col));
1.248     paf       977:        }
                    978: 
                    979:        // $.comment
                    980:        if(const char* comment=e.comment(true))
                    981:                hash.put(exception_comment_part_name, 
1.302     misha     982:                        new VString(*new String(comment, String::L_TAINTED)));
1.248     paf       983: 
                    984:        // $.handled(0)
1.299     misha     985:        hash.put(exception_handled_part_name, &VBool::get(false));
1.233     paf       986: 
1.248     paf       987:        return Request::Exception_details(trace, problem_source, vhash);
1.133     parser    988: }
1.337     moko      989: 
                    990: Temp_value_element::Temp_value_element(Request& arequest, Value& awhere, const String& aname, Value* awhat) :
                    991:        frequest(arequest),
                    992:        fwhere(awhere),
                    993:        fname(aname),
                    994:        saved(awhere.get_element(aname))
                    995: {
                    996:        Junction* junction;
                    997:        if(saved && (junction=saved->get_junction()) && junction->is_getter)
                    998:                saved=0;
                    999:        frequest.put_element(fwhere, aname, awhat);
                   1000: }
                   1001: 
                   1002: Temp_value_element::~Temp_value_element() {
                   1003:        frequest.put_element(fwhere, fname, saved ? saved : VVoid::get());
                   1004: }

E-mail: