improve profile file names

PoorHttp · Nov 22, 2023 · c7add5b · c7add5b
1 parent d4553cf
commit c7add5b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/poorwsgi/wsgi.py b/poorwsgi/wsgi.py
@@ -1213,7 +1213,9 @@ def wrapper(rval):
             rval.append(self.__original_request__(env, start_response))
 
         rval = []
-        uri_dump = (self.__dump + env.get('PATH_INFO').replace('/', '_') +
+        uri_dump = (self.__dump + "_" + env.get('REQUEST_METHOD') +
+                    env.get('PATH_INFO').replace('/', '_') +
+                    "." + str(time()) +
                     '.profile')
         log.info('Generate %s', uri_dump)
         self.__runctx('wrapper(rval)', globals(), locals(), filename=uri_dump)