I recall that Boulder passed some gun bill for the city awhile ago. I just searched. They DID pass the bill to ban guns in the city 2 or 3 years ago.
BUT - a judge ruled 2 or 3 days ago that the ban is not legal according to Colorado law. Hmmm.....
Otherwise, the shooter would be in real trouble.