diff --git a/web/origin-manager/main.css b/web/origin-manager/main.css index 87071fdb..6c34dcb9 100644 --- a/web/origin-manager/main.css +++ b/web/origin-manager/main.css @@ -30,6 +30,6 @@ aside { overflow: auto; } -#details p { +#details p, #details pre { margin: 20px; } diff --git a/web/origin-manager/main.js b/web/origin-manager/main.js index 6a0cfbc1..be024ddb 100644 --- a/web/origin-manager/main.js +++ b/web/origin-manager/main.js @@ -352,6 +352,10 @@ function potential_set(project, package, origin) { if (text == '') { $('#details').html('

No difference

'); return; + } else if (text.startsWith('# diff failed')) { + $('#details').html('

Failed to generate diff

');
+                $('#details pre').text(text);
+                return;
             }
             $('#details').html(Diff2Html.getPrettyHtml(text));
         });