Merge branch 'fix_webgui_face_name_list' into 'master'

faces may be multiple time in explorer iteration -> skip if already in map

See merge request ngsolve/netgen!518
This commit is contained in:
Hochsteger, Matthias 2022-08-19 11:33:51 +02:00
commit 82a59defc2
2 changed files with 2 additions and 1 deletions

View File

@ -1187,6 +1187,7 @@ DLL_HEADER void ExportNgOCCShapes(py::module &m)
for (TopExp_Explorer e(shape, TopAbs_FACE); e.More(); e.Next())
{
TopoDS_Face face = TopoDS::Face(e.Current());
if(fmap.Contains(face)) continue;
// Handle(TopoDS_Face) face = e.Current();
fmap.Add(face);
ExtractFaceData(face, index, p, n, box);

View File

@ -1,4 +1,4 @@
FROM ubuntu:21.10
FROM ubuntu:22.04
ENV DEBIAN_FRONTEND=noninteractive
MAINTAINER Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
RUN apt-get update && apt-get -y install \