Looks like some kind of timestamp to me, maybe reserved for the future or maybe an extension checks for it?<br><br><div class="gmail_quote">On Wed, Nov 26, 2008 at 10:08 AM, Zhihai Wang <span dir="ltr"><<a href="mailto:pageguest@gmail.com">pageguest@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Anyone knows what is "/var/lock/browser_extensions.stamp" used for?<br>This file is created by microb-engine.postinst:<br>
...<br>echo > /var/lock/browser_extensions.stamp<br>...<br><br>But I didn't see when this file is used in source code.<br>
<br>_______________________________________________<br>
maemo-developers mailing list<br>
<a href="mailto:maemo-developers@maemo.org">maemo-developers@maemo.org</a><br>
<a href="https://lists.maemo.org/mailman/listinfo/maemo-developers" target="_blank">https://lists.maemo.org/mailman/listinfo/maemo-developers</a><br>
<br></blockquote></div><br>