prompt: We are currently solving the following issue within our repository. Here is the issue text:
  --- BEGIN ISSUE ---
  we need to re-add a restart policy to docker-compose.yml
  A recent change to docker-compose.yml removed the `restart: always` policy we added to our containers a couple of weeks ago. We should re-instate this.
  
  --- END ISSUE ---
  
  Below are some code segments, each from a relevant file. One or more of these files may contain bugs.
  --- BEGIN FILES ---
  Path: `django/cantusdb_project/main_app/widgets.py`
  Content:
  ```
  1 from django.forms.widgets import TextInput, Select, Textarea, CheckboxInput
  2 from django.utils.safestring import mark_safe
  3 
  4 class TextInputWidget(TextInput):
  5     def __init__(self):
  6         self.attrs = {"class": "form-control form-control-sm"}
  7 
  8 
  9 class SelectWidget(Select):
  10     """
  11     not used, this widget does work, but we cannot order the choices by name
  12     """
  13 
  14     def __init__(self):
  15         attrs = {"class": "form-control custom-select custom-select-sm"}
  16         super().__init__(attrs=attrs)
  17         # super().choices = choices
  18         # self.choices = super().choices
  19 
  20 
  21 class TextAreaWidget(Textarea):
  22     def __init__(self):
  23         self.attrs = {"class": "form-control", "rows": "3"}
  24 
  25 
  26 class VolpianoAreaWidget(Textarea):
  27     def __init__(self):
  28         self.attrs = {
  29             "class": "form-control",
  30             "rows": "1.5",
  31             "style": "font-family: Volpiano; font-size: xx-large",
  32         }
  33 
  34 
  35 class VolpianoInputWidget(TextInput):
  36     def __init__(self):
  37         self.attrs = {
  38             "class": "form-control form-control-sm",
  39             "style": "font-family: Volpiano; font-size: xx-large",
  40         }
  41 
  42 
  43 class CheckboxWidget(CheckboxInput):
  44     pass
  45 
  46 
  47 class AdminTextAreaWidget(Textarea):
  48     def __init__(self):
  49         self.attrs = {"class": "form-control", "rows": 10, "cols": 75}
  50 
  51     def render(self, name, value, attrs=None, renderer=None):
  52         return super().render(name, value, attrs=self.attrs) + mark_safe(
  53             '<span style="color: red; font-weight: bold;"> &nbsp;* </span>'
  54         )
  55 
  56 
  57 class AdminTextInputWidget(TextInputWidget):
  58     def render(self, name, value, attrs=None, renderer=None):
  59         return super().render(name, value) + mark_safe(
  60             '<span style="color: red; font-weight: bold;"> &nbsp;* </span>'
  61         )
  62
  ```
  --- 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/django/cantusdb_project/main_app/widgets.py b/django/cantusdb_project/main_app/widgets.py
  --- a/django/cantusdb_project/main_app/widgets.py
  +++ b/django/cantusdb_project/main_app/widgets.py
  @@ -1,6 +1,7 @@
   from django.forms.widgets import TextInput, Select, Textarea, CheckboxInput
   from django.utils.safestring import mark_safe
   
  +
   class TextInputWidget(TextInput):
       def __init__(self):
           self.attrs = {"class": "form-control form-control-sm"}
  
verification_info: {"golden_diff": "diff --git a/django/cantusdb_project/main_app/widgets.py b/django/cantusdb_project/main_app/widgets.py\n--- a/django/cantusdb_project/main_app/widgets.py\n+++ b/django/cantusdb_project/main_app/widgets.py\n@@ -1,6 +1,7 @@\n from django.forms.widgets import TextInput, Select, Textarea, CheckboxInput\n from django.utils.safestring import mark_safe\n \n+\n class TextInputWidget(TextInput):\n     def __init__(self):\n         self.attrs = {\"class\": \"form-control form-control-sm\"}\n", "issue": "we need to re-add a restart policy to docker-compose.yml\nA recent change to docker-compose.yml removed the `restart: always` policy we added to our containers a couple of weeks ago. We should re-instate this.\n", "before_files": [{"content": "from django.forms.widgets import TextInput, Select, Textarea, CheckboxInput\nfrom django.utils.safestring import mark_safe\n\nclass TextInputWidget(TextInput):\n    def __init__(self):\n        self.attrs = {\"class\": \"form-control form-control-sm\"}\n\n\nclass SelectWidget(Select):\n    \"\"\"\n    not used, this widget does work, but we cannot order the choices by name\n    \"\"\"\n\n    def __init__(self):\n        attrs = {\"class\": \"form-control custom-select custom-select-sm\"}\n        super().__init__(attrs=attrs)\n        # super().choices = choices\n        # self.choices = super().choices\n\n\nclass TextAreaWidget(Textarea):\n    def __init__(self):\n        self.attrs = {\"class\": \"form-control\", \"rows\": \"3\"}\n\n\nclass VolpianoAreaWidget(Textarea):\n    def __init__(self):\n        self.attrs = {\n            \"class\": \"form-control\",\n            \"rows\": \"1.5\",\n            \"style\": \"font-family: Volpiano; font-size: xx-large\",\n        }\n\n\nclass VolpianoInputWidget(TextInput):\n    def __init__(self):\n        self.attrs = {\n            \"class\": \"form-control form-control-sm\",\n            \"style\": \"font-family: Volpiano; font-size: xx-large\",\n        }\n\n\nclass CheckboxWidget(CheckboxInput):\n    pass\n\n\nclass AdminTextAreaWidget(Textarea):\n    def __init__(self):\n        self.attrs = {\"class\": \"form-control\", \"rows\": 10, \"cols\": 75}\n\n    def render(self, name, value, attrs=None, renderer=None):\n        return super().render(name, value, attrs=self.attrs) + mark_safe(\n            '<span style=\"color: red; font-weight: bold;\"> &nbsp;* </span>'\n        )\n\n\nclass AdminTextInputWidget(TextInputWidget):\n    def render(self, name, value, attrs=None, renderer=None):\n        return super().render(name, value) + mark_safe(\n            '<span style=\"color: red; font-weight: bold;\"> &nbsp;* </span>'\n        )\n", "path": "django/cantusdb_project/main_app/widgets.py"}], "after_files": [{"content": "from django.forms.widgets import TextInput, Select, Textarea, CheckboxInput\nfrom django.utils.safestring import mark_safe\n\n\nclass TextInputWidget(TextInput):\n    def __init__(self):\n        self.attrs = {\"class\": \"form-control form-control-sm\"}\n\n\nclass SelectWidget(Select):\n    \"\"\"\n    not used, this widget does work, but we cannot order the choices by name\n    \"\"\"\n\n    def __init__(self):\n        attrs = {\"class\": \"form-control custom-select custom-select-sm\"}\n        super().__init__(attrs=attrs)\n        # super().choices = choices\n        # self.choices = super().choices\n\n\nclass TextAreaWidget(Textarea):\n    def __init__(self):\n        self.attrs = {\"class\": \"form-control\", \"rows\": \"3\"}\n\n\nclass VolpianoAreaWidget(Textarea):\n    def __init__(self):\n        self.attrs = {\n            \"class\": \"form-control\",\n            \"rows\": \"1.5\",\n            \"style\": \"font-family: Volpiano; font-size: xx-large\",\n        }\n\n\nclass VolpianoInputWidget(TextInput):\n    def __init__(self):\n        self.attrs = {\n            \"class\": \"form-control form-control-sm\",\n            \"style\": \"font-family: Volpiano; font-size: xx-large\",\n        }\n\n\nclass CheckboxWidget(CheckboxInput):\n    pass\n\n\nclass AdminTextAreaWidget(Textarea):\n    def __init__(self):\n        self.attrs = {\"class\": \"form-control\", \"rows\": 10, \"cols\": 75}\n\n    def render(self, name, value, attrs=None, renderer=None):\n        return super().render(name, value, attrs=self.attrs) + mark_safe(\n            '<span style=\"color: red; font-weight: bold;\"> &nbsp;* </span>'\n        )\n\n\nclass AdminTextInputWidget(TextInputWidget):\n    def render(self, name, value, attrs=None, renderer=None):\n        return super().render(name, value) + mark_safe(\n            '<span style=\"color: red; font-weight: bold;\"> &nbsp;* </span>'\n        )\n", "path": "django/cantusdb_project/main_app/widgets.py"}]}