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.

Featured Replies

Geschrieben

Hallo Admins,

 

ich habe kleine Korrekturen in der IPConnection und der Inline-Doku des BrickServo gemacht (siehe Anhang). In der IPConnection sind einige Compiler-Warning entfernt, wichtig ist im disconnect aber sowas:

 

anstelle von

try {
    if(socket != null) {
        socket.close();
        socket = null;
    }
} catch(java.io.IOException e) {
    e.printStackTrace();
}

 

nutze ich bei mir

try {
    if(socket != null) {
        socket.close();
    }
} catch(java.io.IOException e) {
    e.printStackTrace();
}
socket = null;

 

Denn der socket.close() kann fehl schlagen, wenn das Netzwerk zusammenbricht. Dann wird der socket nie wieder auf null gesetzt. Analog für die Streams.

 

Ich weiss nicht, wie Ihr mit Vorschlägen für Code-Anpassungen umgeht, darum mal als Attachment.

IPConnection.java

BrickServo.java

Geschrieben

Üblicherweise würde ich einen Pull Request auf Github vorschlagen. Aber wenn Git und Github bisher neu für dich sind wird sich TF sicherlich auch hier über deine Änderungen freuen.

 

LG

Jan

Geschrieben

Okay, du hast neben den korrigierten null Zuweisungen noch redundante Casts entfernt und die JavaDoc Links verkürzt.

 

Da BrickServo.java generiert wird gehören die JavaDoc Änderungen in generate_java_bindings.py.

 

Wie AuronX richtig sagt ist der einfachste Weg für uns über einen Pull Request auf GitHub. Das setzt allerdings voraus, dass du dich mit git auskennst und vor allem auch weist wie die Generatoren arbeiten usw. Daher ist es auch okay, wenn du Änderungs- und Verbesserungsvorschläge einfach hier im Forum postest.

 

Ich baue deine Änderungen gleich ein.

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Gast
Reply to this topic...

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.