diff --git a/library/server/ewsgi/specification/request/wgi_value.e b/library/server/ewsgi/specification/request/wgi_value.e index 2919df74..3cb52624 100644 --- a/library/server/ewsgi/specification/request/wgi_value.e +++ b/library/server/ewsgi/specification/request/wgi_value.e @@ -7,6 +7,9 @@ note deferred class WGI_VALUE +inherit + DEBUG_OUTPUT + convert as_string: {READABLE_STRING_32, STRING_32} @@ -29,6 +32,14 @@ feature -- Helper deferred end +feature -- Status report + + debug_output: STRING + -- String that should be displayed in debugger to represent `Current'. + do + create Result.make_from_string (name.as_string_8 + "=" + as_string.as_string_8) + end + feature -- Query as_string: STRING_32