Added 'currentImageName' setting plus migration (#701)

server-ce/migrations/11_set_project_image_name.js

@@ -0,0 +1,23 @@
+const Settings = require('settings-sharelatex')
+const mongojs = require('mongojs')
+const db = mongojs(Settings.mongo.url, ['projects'])
+
+exports.migrate = (client, done) => {
+    console.log(`>> Setting 'imageName' in projects`)
+
+    if (!Settings.currentImageName) {
+        console.log(`>> 'currentImageName' is not defined, no projects updated`)
+        return done()
+    }
+
+    console.log(`>> Setting 'imageName' = ${Settings.currentImageName}`)
+
+    db.projects.update(
+        { imageName: { $exists: false } },
+        { $set: { imageName: Settings.currentImageName } },
+        { multi: true },
+        done
+    )
+}
+
+exports.rollback = (client, done) => done()

server-ce/settings.coffee

@@ -194,6 +194,8 @@ settings =
 			www: {lngCode:process.env["SHARELATEX_SITE_LANGUAGE"] or "en", url: siteUrl}
 		defaultLng: process.env["SHARELATEX_SITE_LANGUAGE"] or "en"
 
+	currentImageName: process.env["TEX_LIVE_DOCKER_IMAGE"]
+
 	apis:
 		web:
 			url: "http://localhost:3000"