Incidencia #44437

rand_map_pos_filtered() calling NULL filter()

Abrir Fecha: 2022-04-22 12:52 Última actualización: 2022-05-21 15:53

Informador:
Propietario:
Tipo:
Estado:
Cerrado
Componente:
Prioridad:
5 - Medium
Gravedad:
5 - Medium
Resolución:
Fixed
Fichero:
2

Details

rand_map_pos_filtered(): "The filter may be NULL if any position is okay", but there's one call of filter() without checking if it's NULL.

Ticket History (3/5 Histories)

2022-04-22 12:52 Updated by: cazfi
  • New Ticket "rand_map_pos_filtered() calling NULL filter()" created
2022-05-08 11:06 Updated by: cazfi
  • Propietario Update from (Ninguno) to cazfi
  • Resolución Update from Ninguno to Accepted
2022-05-21 15:53 Updated by: cazfi
  • Estado Update from Open to Cerrado
  • Resolución Update from Accepted to Fixed

Editar

Please login to add comment to this ticket » Entrar