Thanks, patch applied.
On Wed, Jul 4, 2018 at 6:38 AM, Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Dave,
>
> I tested with apache2 and it works fine. Below is the log:
>
> adityatoshniwal@ubuntu:~/.pgadmin/sessions$ ls -ltr
> total 0
> adityatoshniwal@ubuntu:~/.pgadmin/sessi
Hi Dave,
I tested with apache2 and it works fine. Below is the log:
adityatoshniwal@ubuntu:~/.pgadmin/sessions$ ls -ltr
total 0
adityatoshniwal@ubuntu:~/.pgadmin/sessions$ curl -vvv "
http://pgadmin.local/pgadmin/misc/ping";
* Trying 127.0.0.1...
* Connected to pgadmin.local (127.0.0.1) port 80
Hi
I'm not in a position to test at the moment, but can you confirm this will
work if the root of pgAdmin is at (for example) /pgadmin? So the actual
root is /pgadmin/misc/ping ?
On Mon, Jul 2, 2018 at 1:35 PM, Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> Attach
Hi Hackers,
Attached is the patch for fixing RM3371 where /misc/ping service generate
session file for each call and so cannot be used frequently.
The patch is to skip session file generation and session caching for the
URLs provided in SESSION_SKIP_PATH list config parameter.
pg4a_session_cookie
