<p style="white-space: pre-wrap; word-wrap: break-word;">I don't really like that approach. The number of times when we "constantly" conver the strings is actually very low. I don't see any need for optimization at all. This doesn't seem to be something we do many times per second, or maybe even during logging of each log line - but only at the time somebody enters a VTY command that gets parsed.</p><p style="white-space: pre-wrap; word-wrap: break-word;">So I'd prefer to have that miniscule runtime overhead at rare occasions, than to have copy+paste of the table</p><p><a href="https://gerrit.osmocom.org/10886">View Change</a></p><ul style="list-style: none; padding: 0;"></ul><p>To view, visit <a href="https://gerrit.osmocom.org/10886">change 10886</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/10886"/><meta itemprop="name" content="View Change"/></div></div>
<div style="display:none"> Gerrit-Project: libosmocore </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: comment </div>
<div style="display:none"> Gerrit-Change-Id: Ie55d732281bdf74324e1dd7f8a2ba91d11409851 </div>
<div style="display:none"> Gerrit-Change-Number: 10886 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Neels Hofmeyr <nhofmeyr@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder (1000002) </div>
<div style="display:none"> Gerrit-Reviewer: Vadim Yanitskiy <axilirator@gmail.com> </div>
<div style="display:none"> Gerrit-CC: Harald Welte <laforge@gnumonks.org> </div>
<div style="display:none"> Gerrit-Comment-Date: Wed, 12 Sep 2018 13:58:50 +0000 </div>
<div style="display:none"> Gerrit-HasComments: No </div>
<div style="display:none"> Gerrit-HasLabels: No </div>