|
|
@@ -5,13 +5,14 @@ Settings = require "settings-sharelatex"
|
|
|
HistoryRedisManager = require "./HistoryRedisManager"
|
|
|
ProjectHistoryRedisManager = require "./ProjectHistoryRedisManager"
|
|
|
RedisManager = require "./RedisManager"
|
|
|
+metrics = require "./Metrics"
|
|
|
|
|
|
module.exports = HistoryManager =
|
|
|
flushDocChangesAsync: (project_id, doc_id) ->
|
|
|
if !Settings.apis?.trackchanges?
|
|
|
logger.warn { doc_id }, "track changes API is not configured, so not flushing"
|
|
|
return
|
|
|
-
|
|
|
+ metrics.inc 'history-flush', 1, { status: 'track-changes'}
|
|
|
url = "#{Settings.apis.trackchanges.url}/project/#{project_id}/doc/#{doc_id}/flush"
|
|
|
logger.log { project_id, doc_id, url }, "flushing doc in track changes api"
|
|
|
request.post url, (error, res, body)->
|
|
|
@@ -31,6 +32,7 @@ module.exports = HistoryManager =
|
|
|
if options.skip_history_flush
|
|
|
logger.log {project_id}, "skipping flush of project history"
|
|
|
return callback()
|
|
|
+ metrics.inc 'history-flush', 1, { status: 'project-history'}
|
|
|
url = "#{Settings.apis.project_history.url}/project/#{project_id}/flush"
|
|
|
qs = {}
|
|
|
qs.background = true if options.background # pass on the background flush option if present
|