Iniziata modifica del DB per migliorare le prestazioni nella ricerca di una partita:
- Rimossa colonna players e aggiunte colonne num_players e gen_info
- Modificata funzione getUsers in getPlayers e getNumPlayers (migliorate e ottimizzate)
Implementate API per la modifica della partita con le info per la generazione dei ruoli
Rifatto il form per creare e modificare una partita:
- Possibilità di scegliere il tipo di generazione dei ruoli
- Possibilità di personalizzare la generazione
Corretto porting:
- Rimossa la ricerca delle partite dell'utente tramite wildcard e sfruttata la tabella role
Corretto il RoleDispenser per distribuire i ruoli con le personalizzazioni della partita
Aggiunto elenco ruoli nel giornale
Completata implementazione dei problemi #4 e #9