From 4225f5da74f609c5eb6ea813431435c840a90c7d Mon Sep 17 00:00:00 2001
From: "K. Andrew Parker" <kparker@citytech.cuny.edu>
Date: Thu, 19 Aug 2021 14:52:02 -0700
Subject: [PATCH] bugfix: OPL browser default random seed

---
 public/filebrowser.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/filebrowser.js b/public/filebrowser.js
index 7e175e00f..03a1f3de8 100644
--- a/public/filebrowser.js
+++ b/public/filebrowser.js
@@ -20,7 +20,7 @@ function updateBrowser(formId, updateBackNav) {
     } else if (value.match(/\.pg$/)) {
         target = '/render-api/';
         formData.set('sourceFilePath', value);
-        formData.set('randomSeed', value);
+        formData.set('problemSeed', 1234);
         formData.set('outputFormat', 'static');
         formData.set('format', 'json');
         formData.set('permissionLevel', 20);