VIRGINIA BEACH, Va. (WAVY) — There will be an increased police presence at Virginia Beach City Public Schools through the rest of the year.

Click here to subscribe to WAVY’s breaking news email alerts

Virginia Beach police tell 10 On Your Side that parents and students will see extra patrols at schools through the end of the 2021-2022 school year.

They made it clear that the increased patrols are a result of the mass shooting at a Texas elementary school, not because of any local threat.

Here’s the full statement from the city:

Due to the tragic events that occurred at Robb Elementary School in Uvalde, Texas, the Virginia Beach Police Department will be providing extra patrols around our community’s schools through the end of the school year. The VBPD is committed to protecting the safety of all schools and keeping our students, teachers, and staff safe.

10 On Your Side previously reported that as some school resource officers in Virginia Beach were transferred to help ensure safety at the Oceanfront this summer, the city school division is filling in the gaps with armed school security officers.

The last day of school for Virginia Beach City Public Schools is Friday, June 17.