(app, skip_paths=[])
| 485 | |
| 486 | |
| 487 | def create_session_interface(app, skip_paths=[]): |
| 488 | return ManagedSessionInterface( |
| 489 | CachingSessionManager( |
| 490 | FileBackedSessionManager( |
| 491 | app.config['SESSION_DB_PATH'], |
| 492 | app.config['SECRET_KEY'], |
| 493 | app.config.get('PGADMIN_SESSION_DISK_WRITE_DELAY', 10), |
| 494 | skip_paths |
| 495 | ), |
| 496 | 1000, |
| 497 | skip_paths |
| 498 | )) |
| 499 | |
| 500 | |
| 501 | def pga_unauthorised(): |
no test coverage detected