Alex McArrow

Как организовать NGINX в качестве реверс-прокси для WEBDAV-ресурса на базе IIS?

Самое простое rsync - s1->s2 и s2->s1 по крону раз в минуту
Это быстро и дешево и с кучей моментов: время синхронизации раз в минуту, использование места на обоих серверах.
А лучше (с учетом на будущее) читайте OnYourLips

Попробуйте это:

cat test.log | grep -oP '^(DATE: 01\/19\/18 TIME:\s17:56:.*)$'

вы получите строки поподающие по данный фильтр - в данном примере все логи за минуту DATE: 01/19/18 TIME: 17:56:**