Merge branch 'dev' of git.phc.dm.unipi.it:phc/problemi into dev

This commit is contained in:
2023-01-10 20:11:14 +01:00
4 changed files with 100 additions and 3 deletions
+1 -1
View File
@@ -5,7 +5,7 @@ import { DatabaseConnection, getUser, createUser } from './db/database'
import { UserId } from '../shared/model'
import { SessionService } from './routes'
export function setupOauth(r: Router, db: DatabaseConnection, sessions: SessionService) {
export function setupOAuth(r: Router, db: DatabaseConnection, sessions: SessionService) {
const config = {
client: {
id: process.env.OAUTH_CLIENT_ID ?? '',