s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

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.
accumulation-v4.7
Joachim Klein 7 years ago
parent
dc5a8b6f7e
commit
06bba360ca
2 changed files with 6 additions and 6 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 6
      prism/include/ExportIterations.h
  2. 6
      prism/src/explicit/ExportIterations.java

6
prism/include/ExportIterations.h
View File

@ -58,12 +58,12 @@ public:
fprintf(fp, "<!-- For visualising the individual steps of a value iteration computation -->\n");
fprintf(fp, "<!-- Loads supporting Javascript and CSS from www.prismmodelchecker.org -->\n");
fprintf(fp, "<title>%s</title>\n", title);
fprintf(fp, "<link rel='stylesheet' href='http://www.prismmodelchecker.org/js/res/iteration-vis-v1.css'>\n");
fprintf(fp, "<script src=\"http://www.prismmodelchecker.org/js/res/d3.js-v4/d3.min.js\"></script>\n");
fprintf(fp, "<link rel='stylesheet' href='https://www.prismmodelchecker.org/js/res/iteration-vis-v1.css'>\n");
fprintf(fp, "<script src=\"https://www.prismmodelchecker.org/js/res/d3.js-v4/d3.min.js\"></script>\n");
fprintf(fp, "<body onload='init();'>\n");
fprintf(fp, "<h1>%s</h1>\n", title);
fprintf(fp, "<svg></svg>\n");
fprintf(fp, "<script src=\"http://www.prismmodelchecker.org/js/res/iteration-vis-v1.js\"></script>\n");
fprintf(fp, "<script src=\"https://www.prismmodelchecker.org/js/res/iteration-vis-v1.js\"></script>\n");
}
/**

6
prism/src/explicit/ExportIterations.java
View File

@ -66,12 +66,12 @@ public class ExportIterations {
log.println("<!-- For visualising the individual steps of a value iteration computation -->");
log.println("<!-- Loads supporting Javascript and CSS from www.prismmodelchecker.org -->");
log.println("<title>" + title + "</title>");
log.println("<link rel='stylesheet' href='http://www.prismmodelchecker.org/js/res/iteration-vis-v1.css'>");
log.println("<script src=\"http://www.prismmodelchecker.org/js/res/d3.js-v4/d3.min.js\"></script>");
log.println("<link rel='stylesheet' href='https://www.prismmodelchecker.org/js/res/iteration-vis-v1.css'>");
log.println("<script src=\"https://www.prismmodelchecker.org/js/res/d3.js-v4/d3.min.js\"></script>");
log.println("<body onload='init();'>");
log.println("<h1>" + title + "</h1>");
log.println("<svg></svg>");
log.println("<script src=\"http://www.prismmodelchecker.org/js/res/iteration-vis-v1.js\"></script>");
log.println("<script src=\"https://www.prismmodelchecker.org/js/res/iteration-vis-v1.js\"></script>");
log.flush();
}

Write Preview
Loading…
Cancel
Save