Examples with "Server Push" and their translation in Pools
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Wir überdachten verschiedene Möglichkeiten, dazu gehörten WebSockets, MQTT, Server Sent Events und HTTP/2 Server Push.
Mieliśmy na myśli kilka opcji, w tym WebSockets, MQTT, Server Sent Events i HTTP/2 Server Push.
Andere resultaten
Diese Tool ermöglicht es, Git als ganz normalen Client für einen Subversion-Server zu benutzen, so dass Du alle lokalen Features von Git nutzen kanns und Deine Änderungen dann auf einen Subversion-Server pushen kannst, so als ob Du Subversion lokal nutzen würdest.
To narzędzie pozwala Ci na używanie Gita jak normalnego klienta do serwera Subversion, możesz więc używać wszystkich lokalnych funkcjonalności Gita, aby potem wypchnąć zmiany do Subversion, tak jakbyś używał go lokalnie.
Wenn Du im Flugzeug oder Zug ein wenig arbeiten willst, kannst Du problemlos Deine Arbeit committen und Deine Arbeit erst auf den Server pushen (hochladen), wenn Du wieder mit dem Internet verbunden bist.
Jeśli masz ochotę popracować w samolocie lub pociągu, możesz bez problemu zatwierdzać kolejne zmiany, by w momencie połączenia z siecią przesłać komplet zmian na serwer.
Wenn Du zugleich auf einen Git- und einen Subversion-Server pushen willst, solltest Du zunächst an den Subversion-Server pushen (dcommit), da diese Aktion Deine Commit-Daten verändert.
Jeżeli chcesz wypchnąć zmiany zarówno do serwera Git jak i Subversion, musisz najpierw wykonać dcommit do serwera Subversion, ponieważ ta akcja zmieni dane commitów.
Wenn Du Dich in einem Tracking-Branch befindest und git push eingibst, weiß Git automatisch zu welchem Server und Repository es pushen soll.
Jeśli znajdujesz się w gałęzi śledzącej, po wpisaniu git push Git automatycznie wie na który serwer wypchnąć zmiany.
Wir versenden die Push-ID später zusammen mit den an Sie gerichteten Push-Mitteilungen an den Push-Server, damit dieser die Mitteilung an den richtigen Empfänger, also an Ihr Gerät adressieren kann.
Następnie wysyłamy push ID razem ze skierowanymi do użytkownika wiadomościami push do serwera push, aby mógł on zaadresować wiadomość do właściwego odbiorcy, czyli urządzenia użytkownika.
Push-Spiegel sollten direkt das Hauptarchiv per Push-Spiegel spiegeln (oder einen anderen Push-Server) und sie sollten das gesamte Debian-Archiv enthalten.
Der git push Befehl lädt Tags nicht von sich aus auf externe Server.
Domyślnie, polecenie git push nie przesyła twoich etykiet do zdalnego repozytorium.
Wir haben einen Server, der die offiziellen F-Droid-Pushes empfängt.
Als letztes müssen wir den neuen Git-Server noch als entfernten Server einrichten und unsere Änderungen zu ihm pushen.
Außerdem werden durch die zum Erstellen der Datenbanken verwendeten Makefiles die Datenbanken mithilfe von Push über yppush an untergeordnete NIS-Server übertragen.
Ponadto pliki reguł programu make użyte do utworzenia baz danych wysyłają bazy danych do serwerów podrzędnych sieciowej usługi informacyjnej za pomocą polecenia yppush.
Andere Server für Nozbes-Betreuungsdienste wie Push-Benachrichtigungen, Drucken und die Integration mit anderen Dienstleistungen oder für das Erstellen von Systemberichten befinden sich auf Servern in Irland und in Deutschland.
Dodatkowe serwery wspomagające pracę Nozbe, takie jak powiadomienia "push", drukowanie, integracje z innymi usługami czy raporty systemowe zlokalizowane są w Irlandii oraz w Niemczech.
Als nächstes entscheidet sich die Person, welche den Merge hochgeladen hat diesen rückgängig zu machen und stattdessen die Commits zu rebasen. Sie macht einen git push - force um den Verlauf auf dem Server zu überschreiben.
Następnie osoba, która wypchnęła scalone zmiany, rozmyśliła się i zdecydowała zamiast scalenia zmienić bazę swoich zmian; wykonuje git push --force żeby zastąpić historię na serwerze.