From 06bba360cadc9829ab5c3b6ea72052379f104577 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 19 Dec 2018 16:23:04 +0100 Subject: [PATCH] ExportIterations: Switch to HTTPS in PRISM URL The HTML file generated by the iteration export loads Javascript and CSS resources from www.prismmodelchecker.org. Previously, those URLs used http as the protocol. If such a generated HTML file was loaded via an https-connections, current browsers would reasonably block access to the Javascript, as it's not be loaded over a secure connection. As the prismmodelchecker.org site now supports https, we switch to https for loading those resources. --- prism/include/ExportIterations.h | 6 +++--- prism/src/explicit/ExportIterations.java | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/prism/include/ExportIterations.h b/prism/include/ExportIterations.h index 8a8a1ef6..a0a7ae34 100644 --- a/prism/include/ExportIterations.h +++ b/prism/include/ExportIterations.h @@ -58,12 +58,12 @@ public: fprintf(fp, "\n"); fprintf(fp, "\n"); fprintf(fp, "%s\n", title); - fprintf(fp, "\n"); - fprintf(fp, "\n"); + fprintf(fp, "\n"); + fprintf(fp, "\n"); fprintf(fp, "\n"); fprintf(fp, "

%s

\n", title); fprintf(fp, "\n"); - fprintf(fp, "\n"); + fprintf(fp, "\n"); } /** diff --git a/prism/src/explicit/ExportIterations.java b/prism/src/explicit/ExportIterations.java index 9b353800..e0e4ed66 100644 --- a/prism/src/explicit/ExportIterations.java +++ b/prism/src/explicit/ExportIterations.java @@ -66,12 +66,12 @@ public class ExportIterations { log.println(""); log.println(""); log.println("" + title + ""); - log.println(""); - log.println(""); + log.println(""); + log.println(""); log.println(""); log.println("

" + title + "

"); log.println(""); - log.println(""); + log.println(""); log.flush(); }