]> git.openstreetmap.org Git - nominatim.git/blobdiff - nominatim/index.c
Merge branch 'master' of http://github.com/twain47/Nominatim
[nominatim.git] / nominatim / index.c
index 9667e50565e4ea1e96b6fc7e2bcd056bb0876f71..f337a9ece5d8560cedc9399de8543f0a8e3e9a07 100644 (file)
@@ -369,8 +369,7 @@ void *nominatim_indexThread(void * thread_data_in)
                        {
                            fprintf(stderr, "index_placex: UPDATE failed: %s", PQerrorMessage(thread_data->conn));
                            PQclear(res);
-                            sleep(rand() % 10);
-//                         exit(EXIT_FAILURE);
+                           exit(EXIT_FAILURE);
                        }
                }
         }