From d13e49b0cf5b9cba5e99b7124c671582e64ef04d Mon Sep 17 00:00:00 2001
From: Peter Melnichenko <mpeterval@gmail.com>
Date: Thu, 28 Apr 2016 12:49:15 +0300
Subject: [PATCH] Save identifiers after installing Lua before installing
 LuaRocks

Fixes errors when reinstalling LuaRocks if the first attempt failed.
---
 hererocks.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/hererocks.py b/hererocks.py
index 8c18a5e..6a3c064 100755
--- a/hererocks.py
+++ b/hererocks.py
@@ -1641,6 +1641,10 @@ def main(argv=None):
         identifiers_changed = LuaJIT(opts.luajit).update_identifiers(identifiers)
         os.chdir(start_dir)
 
+    if identifiers_changed:
+        save_installed_identifiers(identifiers)
+        identifiers_changed = False
+
     if opts.luarocks:
         if LuaRocks(opts.luarocks).update_identifiers(identifiers):
             identifiers_changed = True