Jump to content
View in the app

A better way to browse. Learn more.

Tinkerunity

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

oro

Members
  • Benutzer seit

  • Letzter Besuch

  1. Sieht nach nem Deadlock aus. Eventuell liegts an dem Zusammenspiel von Invoke (der Threadwechsel von Thread X auf UI-Thread) und der Implementierung von Disconnect: Aus den C# Bindings IpConnection.cs /// <summary> /// Disconnects the TCP/IP connection from the Brick Daemon or the /// WIFI/Ethernet Extension. /// </summary> public void Disconnect() { /* Der Übersicht halber rausgelöscht*/ if (Thread.CurrentThread != localCallback.thread) { localCallback.thread.Join(); } } Meine Theorie wäre: Durch den Callback sind wir im Moment des Aufrufs nicht auf dem UI-Thread. Das obere Snippet wartet auf die Beendigung dieses Threads. Gleichzeitig versuchen wir aber im Callback auf den UI-Thread zurückzuwechseln, was mMn nicht klappen kann, da dieser Thread durchs .Join() aus der Diconnect-Methode blockiert ist. Kann sein, dass meine Theorie Müll ist, mit einem BeginInvoke()-Call statt des Invoke()-Calls sollte es aber funktionieren. Mich würde noch interessieren, für was der Thread.Join() im Disconnect überhaupt drin ist. Grüße, oro edit: Hier findest ne Erklärung zum Unterschied von BeginInvoke/Invoke: https://stackoverflow.com/questions/229554/whats-the-difference-between-invoke-and-begininvoke
  2. Thema antwortete auf oros oro in: Anfängerfragen und FAQ
    Alles klar, danke für die Antwort.
  3. ein Thema hat oro erstellt in: Anfängerfragen und FAQ
    Hallo zusammen, meine Frage lautet, ob man die UID eines Bricks (Master,DC,...) ändern kann und wenn ja wie ich vorgehen müsste? Danke im Voraus, oro

Configure browser push notifications

Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.