update_users.php crashes when executed for user which become deleted

[matkoniecz]

See for example

php update_users.php 4909211

I plan to add some more graceful handling of that problem, if possible:

• error with an explanation
• specific error code

Unless there is some good reason to avoid doing this.

[matkoniecz]

https://github.com/streetcomplete/sc-statistics-service/blob/master/delete_data_of_deleted_users.php is highly related

[westnordost]

Maybe it can just do nothing for deleted users.

[matkoniecz]

And show some error message mentioning that rerunning delete_data_of_deleted_users.php is a good idea if you start getting this kind of error.