[devdocsgjs/main: 669/1867] Fix service workers in production

[Andy Holmes <andyholmes src gnome org>]

commit 3d974a42fa129c61aa60d8223b16f8cdb638b070
Author: Jasper van Merle <jaspervmerle gmail com>
Date:   Fri Jul 19 23:22:20 2019 +0200

    Fix service workers in production

 assets/javascripts/app/config.coffee.erb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/assets/javascripts/app/config.coffee.erb b/assets/javascripts/app/config.coffee.erb
index 2f506764..7cce8e92 100644
--- a/assets/javascripts/app/config.coffee.erb
+++ b/assets/javascripts/app/config.coffee.erb
@@ -14,4 +14,4 @@ app.config =
   release: <%= Time.now.utc.httpdate.to_json %>
   mathml_stylesheet: '<%= App.cdn_origin %>/mathml.css'
   service_worker_path: '/service-worker.js'
-  service_worker_enabled: <%= App.environment == 'production' || ENV['ENABLE_SERVICE_WORKER'] == 'true' %>
+  service_worker_enabled: '<%= App.environment == 'production' || ENV['ENABLE_SERVICE_WORKER'] == 'true' %>' 
== 'true'