old_contents: #!/usr/bin/env python
  
  import os
  import sys
  
  
  if __name__ == '__main__':
      os.environ.setdefault('DJANGO_SETTINGS_MODULE', 'ctf_gameserver.web.dev_settings')
  
      from django.core.management import execute_from_command_line
      execute_from_command_line(sys.argv)
  
new_contents: #!/usr/bin/env python3
  
  import os
  import sys
  
  
  if __name__ == '__main__':
      os.environ.setdefault('DJANGO_SETTINGS_MODULE', 'ctf_gameserver.web.dev_settings')
  
      from django.core.management import execute_from_command_line
      execute_from_command_line(sys.argv)
  
subject: Change 'manage.py' shebang to Python 3