">        DrillToolError</span>
<span class="sd">            Raised if the extension on `property_file` is not in the list of supported tool file types.</span>
<span class="sd">        </span>
<span class="sd">        &quot;&quot;&quot;</span>
        <span class="n">ext</span> <span class="o">=</span> <span class="n">os</span><span class="o">.</span><span class="n">path</span><span class="o">.</span><span class="n">splitext</span><span class="p">(</span><span class="n">property_file</span><span class="p">)