Skip to content

Commit

Permalink
bugfix: OPL browser default random seed
Browse files Browse the repository at this point in the history
  • Loading branch information
drdrew42 committed Sep 1, 2021
1 parent 57d4401 commit 4225f5d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion public/filebrowser.js
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down

0 comments on commit 4225f5d

Please sign in to comment.