--- parser3/src/classes/op.C	2026/04/25 13:38:46	1.280
+++ parser3/src/classes/op.C	2026/09/26 17:41:10	1.284
@@ -23,7 +23,7 @@
 #include "syslog.h"
 #endif
 
-volatile const char * IDENT_OP_C="$Id: op.C,v 1.280 2026/04/25 13:38:46 moko Exp $";
+volatile const char * IDENT_OP_C="$Id: op.C,v 1.284 2026/09/26 17:41:10 moko Exp $";
 
 // defines
 
@@ -537,7 +537,6 @@ template<class I>
 static Try_catch_result try_catch(Request& r, Value& body_code(Request&, I), I info, Value* catch_code, bool could_be_handled_by_caller=false) {
 	Try_catch_result result;
 
-	// minor bug: context not restored if only finally code is present, see #1062
 	if(!catch_code) {
 		result.processed_code=body_code(r, info);
 		return result;
@@ -545,38 +544,52 @@ static Try_catch_result try_catch(Reques
 
 	// taking snapshot of try-context
 	Request_context_saver try_context(r);
+	size_t trace_start=r.exception_trace.top_index();
+
 	try {
 		result.processed_code=body_code(r, info);
+	} catch(const Recursion_limit_exception&) {
+		rethrow;
 	} catch(const Exception& e) {
-		Request_context_saver throw_context(r); // remembering exception stack trace
+		size_t trace_bottom=r.exception_trace.bottom_index();
+		size_t trace_top=r.exception_trace.top_index();
 
-		Request::Exception_details details=r.get_details(e);
+		VException& details=*new VException(r, e);
 
-		try_context.restore(); // restoring try-context for code after try and catch-code
+		try_context.restore(); // restoring try-context for catch code
 
-		{
-			Temp_value_element temp(r, *catch_code->get_junction()->method_frame, exception_var_name, &details.vhash);
-			Temp_skip temp_skip(r);
-			result.processed_code=r.process(*catch_code);
-		}
-		
-		// retriving $exception.handled
-		Value* vhandled=details.vhash.hash().get(exception_handled_part_name);
+		r.exception_trace.set_bottom_index(trace_top); // keep the original trace occupied; errors in catch start after it
 
 		bool bhandled=false;
-		if(vhandled) {
-			if(vhandled->is_string()) { // not simple $exception.handled(1/0)?
-				if(bhandled=could_be_handled_by_caller) { // and we can possibly handle it
-					result.exception_should_be_handled=vhandled->get_string(); // considering 'recovered' and let the caller recover
-				}
-			} else
-				bhandled=vhandled->as_bool();
+		try {
+			{
+				Temp_value_element temp(r, *catch_code->get_junction()->method_frame, exception_var_name, &details);
+				Temp_skip temp_skip(r);
+				result.processed_code=r.process(*catch_code);
+			}
+
+			Value* vhandled=details.handled();
+			if(vhandled) {
+				if(vhandled->is_string()) { // not simple $exception.handled(1/0)?
+					if(bhandled=could_be_handled_by_caller) { // and we can possibly handle it
+						result.exception_should_be_handled=vhandled->get_string(); // considering 'recovered' and let the caller recover
+					}
+				} else
+					bhandled=vhandled->as_bool();
+			}
+		} catch(...) {
+			// restore execution for finally, but keep new error trace.
+			try_context.restore();
+			details.expire_trace();
+			rethrow;
 		}
 
+		details.expire_trace();
 		if(!bhandled){
-			throw_context.restore(); // restoring exception stack trace creared by try_context.restore()
+			r.exception_trace.set_range(trace_bottom, trace_top);
 			rethrow;
 		}
+		r.exception_trace.set_range(trace_start, trace_start);
 	}
 
 	return result;
@@ -647,7 +660,7 @@ static void locked_process_and_cache_put
 		} else
 			throw Exception(PARSER_RUNTIME,
 				result.exception_should_be_handled,
-				"$" EXCEPTION_VAR_NAME "." EXCEPTION_HANDLED_PART_NAME " value must be "
+				"$" EXCEPTION_VAR_NAME ".handled value must be "
 				"either boolean or string '" CACHE_EXCEPTION_HANDLED_CACHE_NAME "'");
 	} else
 		info.processed_code=&((Value &)result.processed_code).as_string();
@@ -830,11 +843,17 @@ static void _try_operator(Request& r, Me
 	try{
 		// process try and catch code
 		result=try_catch(r, process_try_body_code, &body_code, &catch_code);
+	} catch(const Recursion_limit_exception&) {
+		rethrow;
 	} catch(...){
 		// process finally code but ignore the result
 		if(finally_code){
+			size_t trace_bottom=r.exception_trace.bottom_index();
+			size_t trace_top=r.exception_trace.top_index();
+			r.exception_trace.set_bottom_index(trace_top);
 			Temp_skip temp(r);
 			/* Value &finally_result= */ r.process(*finally_code);
+			r.exception_trace.set_range(trace_bottom, trace_top);
 		}
 		rethrow;
 	}
@@ -859,13 +878,13 @@ static void _throw_operator(Request&, Me
 	if(params.count()==1 && !params[0].is_string()) {
 		if(HashStringValue *hash=params[0].get_hash()) {
 			const char* type=0;
-			if(Value* value=hash->get(exception_type_part_name))
+			if(Value* value=hash->get(Symbols::TYPE_SYMBOL))
 				type=value->as_string().cstr();
 			const String* source=0;
-			if(Value* value=hash->get(exception_source_part_name))
+			if(Value* value=hash->get(Symbols::SOURCE_SYMBOL))
 				source=&value->as_string();
 			const char* comment=0;
-			if(Value* value=hash->get(exception_comment_part_name))
+			if(Value* value=hash->get(Symbols::COMMENT_SYMBOL))
 				comment=value->as_string().cstr();
 
 			throw Exception(type, source, "%s", comment); // to avoid MAX_STRING limit