This website requires JavaScript.
Explore
Help
Sign In
IntenseWebs
/
pgadmin4
Watch
3
Star
0
Fork
0
You've already forked pgadmin4
mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced
2025-02-25 18:55:31 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
8279e7e01cf5acb4e88b33f16a35d5fe4b573258
pgadmin4
/
docs
History
Nikhil Mohite
8279e7e01c
Ensure that the user should be able to kill the session from Dashboard if the user has a 'pg_signal_backend' role.
Fixes
#6159
2021-02-26 12:50:30 +05:30
..
en_US
Ensure that the user should be able to kill the session from Dashboard if the user has a 'pg_signal_backend' role.
Fixes
#6159
2021-02-26 12:50:30 +05:30