delete the spider badge if unspidering, not the marsify one (#374)

remotes/1693176582716663532/tmp_refs/heads/watchparty
justcool393 2022-09-25 13:17:11 -07:00 committed by GitHub
parent 54fa43038c
commit a8e74d3355
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -113,7 +113,7 @@ def settings_profile_post(v):
v.spider = int(request.values.get("spider") == 'true')
if v.spider: badge_grant(user=v, badge_id=179)
else:
badge = v.has_badge(170)
badge = v.has_badge(179)
if badge: g.db.delete(badge)
elif request.values.get("bio") == "":