diff options
| author | pep <yes@peepee.me> | 2020-07-21 20:48:09 +0000 |
|---|---|---|
| committer | pep <yes@peepee.me> | 2020-07-21 20:48:09 +0000 |
| commit | 789dbb1e734885bd7cf5ad25f0d2f47765a13657 (patch) | |
| tree | 090b79ed96465dbe135f4191468776cbf7a6a954 /search/bin/watch-index.pl | |
| parent | 97bee7fe1a48acb4c34e207863af56894c198151 (diff) | |
attempt at merge
Diffstat (limited to 'search/bin/watch-index.pl')
| -rwxr-xr-x | search/bin/watch-index.pl | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/search/bin/watch-index.pl b/search/bin/watch-index.pl deleted file mode 100755 index c9d950b..0000000 --- a/search/bin/watch-index.pl +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/perl - -while (1) - { - system("./build-index"); - sleep(60*60); - } - |