allow access to client IP and request ID

kdeps · Feb 8, 2025 · 34a6f34 · 34a6f34
1 parent c3fc856
commit 34a6f34
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 0 deletions.
diff --git a/deps/pkl/APIServerRequest.pkl b/deps/pkl/APIServerRequest.pkl
@@ -38,6 +38,10 @@ hidden isValidHTTPMethod = (str) -> if (str.matches(apiMethodRegex)) true else t
 
 /// Represents the request URI path.
 path: Uri
+/// Represents the Client IP.
+IP: String
+/// Represents the Request ID.
+ID: String
 /// The HTTP method used for the request. Must be a valid method, as determined by [isValidHTTPMethod].
 method: String(isValidHTTPMethod)
 /// The body data of the request, which is optional.
@@ -145,3 +149,13 @@ function path(): String = path
 ///
 /// [str]: The HTTP method of the request.
 function method(): String = method
+
+/// Retrieves the Client IP of the request.
+///
+/// [str]: The Client IP of the request.
+function IP(): String = IP
+
+/// Retrieves the Request ID of the request.
+///
+/// [str]: The Request ID of the request.
+function ID(): String = ID
diff --git a/gen/api_server_request/APIServerRequest.pkl.go b/gen/api_server_request/APIServerRequest.pkl.go