From 4804b290ae4e763546e7896c69666b2a5a37bbce Mon Sep 17 00:00:00 2001 From: agouy Date: Wed, 3 Feb 2021 00:45:31 +0100 Subject: [PATCH] plotly aws bug fix --- server.R | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/server.R b/server.R index 62e1299..2c39910 100644 --- a/server.R +++ b/server.R @@ -544,6 +544,13 @@ shinyServer(function(input, output) { yaxis = list(title = "Locus") ) + pdf(tempfile(fileext=".pdf")) + dummy_dev_id = dev.cur() + on.exit({ + if (dummy_dev_id %in% dev.list()) { + dev.off(dummy_dev_id) + } else warning("Dummy graphics device was closed by someone else. This should not have happened...") + }) (fig) })