prompt: We are currently solving the following issue within our repository. Here is the issue text:
  --- BEGIN ISSUE ---
  Move to postgres
  That's the database of choice hasadna uses
  
  <!---
  @huboard:{"order":125.5,"milestone_order":81,"custom_state":""}
  -->
  
  
  --- END ISSUE ---
  
  Below are some code segments, each from a relevant file. One or more of these files may contain bugs.
  --- BEGIN FILES ---
  Path: `config.py`
  Content:
  ```
  1 import os
  2 
  3 #
  4 # This is the configuration file of the application
  5 #
  6 # Please make sure you don't store here any secret information and use environment
  7 # variables
  8 #
  9 
  10 
  11 SQLALCHEMY_DATABASE_URI = os.environ.get('CLEARDB_DATABASE_URL')
  12 SQLALCHEMY_POOL_RECYCLE = 60
  13 
  14 
  15 SECRET_KEY = 'aiosdjsaodjoidjioewnioewfnoeijfoisdjf'
  16 
  17 FACEBOOK_KEY = "157028231131213"
  18 FACEBOOK_SECRET = "0437ee70207dca46609219b990be0614"
  19
  ```
  
  Path: `mysqlshell.py`
  Content:
  ```
  1 #!/usr/bin/env python
  2 import sys
  3 import os
  4 import urlparse
  5 
  6 def main():
  7     DATABASE_URI = os.getenv('CLEARDB_DATABASE_URL')
  8 
  9     if not DATABASE_URI:
  10         print >>sys.stderr, 'Environment CLEARDB_DATABASE_URL not set'
  11         sys.exit(1)
  12 
  13     db = urlparse.urlparse(DATABASE_URI)
  14     os.execlp('mysql', 'mysql', '-u', db.username, '-p' + db.password, '-h', db.hostname, db.path[1:])
  15 
  16 if __name__ == '__main__':
  17     main()
  18
  ```
  --- END FILES ---
  
  Please first localize the bug based on the issue statement, and then generate a patch according to the `git diff` format fenced by three backticks.
  
  Here is an example:
  
  ```diff
  diff --git a/examples/server_async.py b/examples/server_async.py
  --- a/examples/server_async.py
  +++ b/examples/server_async.py
  @@ -313,4 +313,4 @@
   
   
   if __name__ == "__main__":
  -    asyncio.run(run_async_server("."), debug=True)
  +    asyncio.run(run_async_server(), debug=True)
  diff --git a/examples/server_sync.py b/examples/server_sync.py
  --- a/examples/server_sync.py
  +++ b/examples/server_sync.py
  @@ -313,5 +313,5 @@
   
   
   if __name__ == "__main__":
  -    server = run_sync_server(".")
  +    server = run_sync_server()
       server.shutdown()
  
  ```
  
golden_diff: diff --git a/config.py b/config.py
  --- a/config.py
  +++ b/config.py
  @@ -8,7 +8,7 @@
   #
   
   
  -SQLALCHEMY_DATABASE_URI = os.environ.get('CLEARDB_DATABASE_URL')
  +SQLALCHEMY_DATABASE_URI = os.environ.get('DATABASE_URL')
   SQLALCHEMY_POOL_RECYCLE = 60
   
   
  diff --git a/mysqlshell.py b/mysqlshell.py
  deleted file mode 100755
  --- a/mysqlshell.py
  +++ /dev/null
  @@ -1,17 +0,0 @@
  -#!/usr/bin/env python
  -import sys
  -import os
  -import urlparse
  -
  -def main():
  -    DATABASE_URI = os.getenv('CLEARDB_DATABASE_URL')
  -
  -    if not DATABASE_URI:
  -        print >>sys.stderr, 'Environment CLEARDB_DATABASE_URL not set'
  -        sys.exit(1)
  -
  -    db = urlparse.urlparse(DATABASE_URI)
  -    os.execlp('mysql', 'mysql', '-u', db.username, '-p' + db.password, '-h', db.hostname, db.path[1:])
  -
  -if __name__ == '__main__':
  -    main()
  
verification_info: {"golden_diff": "diff --git a/config.py b/config.py\n--- a/config.py\n+++ b/config.py\n@@ -8,7 +8,7 @@\n #\n \n \n-SQLALCHEMY_DATABASE_URI = os.environ.get('CLEARDB_DATABASE_URL')\n+SQLALCHEMY_DATABASE_URI = os.environ.get('DATABASE_URL')\n SQLALCHEMY_POOL_RECYCLE = 60\n \n \ndiff --git a/mysqlshell.py b/mysqlshell.py\ndeleted file mode 100755\n--- a/mysqlshell.py\n+++ /dev/null\n@@ -1,17 +0,0 @@\n-#!/usr/bin/env python\n-import sys\n-import os\n-import urlparse\n-\n-def main():\n-    DATABASE_URI = os.getenv('CLEARDB_DATABASE_URL')\n-\n-    if not DATABASE_URI:\n-        print >>sys.stderr, 'Environment CLEARDB_DATABASE_URL not set'\n-        sys.exit(1)\n-\n-    db = urlparse.urlparse(DATABASE_URI)\n-    os.execlp('mysql', 'mysql', '-u', db.username, '-p' + db.password, '-h', db.hostname, db.path[1:])\n-\n-if __name__ == '__main__':\n-    main()\n", "issue": "Move to postgres\nThat's the database of choice hasadna uses\n\n<!---\n@huboard:{\"order\":125.5,\"milestone_order\":81,\"custom_state\":\"\"}\n-->\n\n", "before_files": [{"content": "import os\n\n#\n# This is the configuration file of the application\n#\n# Please make sure you don't store here any secret information and use environment\n# variables\n#\n\n\nSQLALCHEMY_DATABASE_URI = os.environ.get('CLEARDB_DATABASE_URL')\nSQLALCHEMY_POOL_RECYCLE = 60\n\n\nSECRET_KEY = 'aiosdjsaodjoidjioewnioewfnoeijfoisdjf'\n\nFACEBOOK_KEY = \"157028231131213\"\nFACEBOOK_SECRET = \"0437ee70207dca46609219b990be0614\"\n", "path": "config.py"}, {"content": "#!/usr/bin/env python\nimport sys\nimport os\nimport urlparse\n\ndef main():\n    DATABASE_URI = os.getenv('CLEARDB_DATABASE_URL')\n\n    if not DATABASE_URI:\n        print >>sys.stderr, 'Environment CLEARDB_DATABASE_URL not set'\n        sys.exit(1)\n\n    db = urlparse.urlparse(DATABASE_URI)\n    os.execlp('mysql', 'mysql', '-u', db.username, '-p' + db.password, '-h', db.hostname, db.path[1:])\n\nif __name__ == '__main__':\n    main()\n", "path": "mysqlshell.py"}], "after_files": [{"content": "import os\n\n#\n# This is the configuration file of the application\n#\n# Please make sure you don't store here any secret information and use environment\n# variables\n#\n\n\nSQLALCHEMY_DATABASE_URI = os.environ.get('DATABASE_URL')\nSQLALCHEMY_POOL_RECYCLE = 60\n\n\nSECRET_KEY = 'aiosdjsaodjoidjioewnioewfnoeijfoisdjf'\n\nFACEBOOK_KEY = \"157028231131213\"\nFACEBOOK_SECRET = \"0437ee70207dca46609219b990be0614\"\n", "path": "config.py"}, {"content": null, "path": "mysqlshell.py"}]}