avoid duplicated patch comments with a redirect

Author: nunoplopes

index.php

@@ -14,6 +14,7 @@
 
 use Symfony\Component\Form\Extension\HttpFoundation\HttpFoundationExtension;
 use Symfony\Component\Form\Forms;
+use Symfony\Component\HttpFoundation\RedirectResponse;
 
 $formFactory = Forms::createFormFactoryBuilder()
   ->addExtension(new HttpFoundationExtension())
@@ -174,6 +175,12 @@ function terminate($error_message = null, $template = 'main.html.twig',
   exit();
 }
 
+function terminate_redirect() {
+  db_flush();
+  (new RedirectResponse($_SERVER['REQUEST_URI']))->send();
+  exit();
+}
+
 function get_webpack_deps() {
   $json = json_decode(file_get_contents('assets/public/entrypoints.json'));
   $html = '';

pages/editpatch.php

@@ -3,7 +3,6 @@
 // Distributed under the MIT license that can be found in the LICENSE file.
 
 use Symfony\Component\Form\Extension\Core\Type\FormType;
-use Symfony\Component\Form\Extension\Core\Type\HiddenType;
 use Symfony\Component\Form\Extension\Core\Type\SubmitType;
 use Symfony\Component\Form\Extension\Core\Type\TextareaType;
 
@@ -31,9 +30,6 @@
 $prev_status = $patch->getStatus();
 
 $comments_form = $formFactory->createNamedBuilder('comments', FormType::class)
-  ->add('id', HiddenType::class, [
-    'data' => $patch->id,
-  ])
   ->add('text', TextareaType::class, [
     'attr' => [
       'rows' => 7,
@@ -77,6 +73,7 @@
     $new_comment = "Status changed: $prev_status → $new_status\n\n$new_comment";
   }
   $patch->comments->add(new PatchComment($patch, $new_comment, $user));
+  terminate_redirect();
 }
 
 $old_video_url = $patch->video_url;