Optionally provide a callback in apply_changeset
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
Inizia tracciando apply_changeset e il modo in cui la Python API lo espone. Definisci il comportamento del callback riguardo all’avanzamento, alla cancellazione e all’invocazione periodica, quindi verifica che il callback sia supportato sia nell’API principale sia nella Python API, senza richiedere una chiamata dopo ogni istruzione.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Sometimes it is useful to be able to provide a callback function when applying changes - especially if the input diff file contains many changes. The callback could do things like
- report progress of the operation to the user
- allow early cancellation if the client is impatient
- on server side, yield to indicate that the worker is doing work (did not freeze and should not get killed)
The callback could be something like this:
bool callback(geodiff_context, caller_context, progress);
... and apply_changeset would call it every now and then (not necessarily after each statement it applies).
Should be also supported in python API.
- Lingua principale
- Python
- Stelle
- 183
- Fork
- 21
- Merge medio
- 26m
- PR unite (30g)
- 2
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di MerginMaps/geodiff
-
Support for long paths on Windows (> 260 characters)Forse di nuovo libera @dvdkon l’ha presa 32 giorni fa e non c’è nessuna pull request aperta. Apertabug
MerginMaps/geodiff#264 · 1 assegnatario ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
MerginMaps/geodiff#262 ·
-
GeoDiff 2.3.0 cannot open GeoPackage when filename contains Unicode character (EM DASH U+2014) on WindowsForse di nuovo libera @dvdkon l’ha presa 32 giorni fa e non c’è nessuna pull request aperta. Aperta
MerginMaps/geodiff#258 · 1 assegnatario ·
-
bug data corruption - sync failure - crash
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
MerginMaps/geodiff#255 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
MerginMaps/geodiff#253 · 1 commento ·
Tutte le issue di MerginMaps/geodiff
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
modelcontextprotocol/python-sdk#3648 ·
I maintainer di solito rispondono entro 1 giorno
-
docs good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
VenetoStato/giorgio#6 ·
-
Claiming namespace ddalusAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 70/100
EclipseFdn/open-vsx.org#13831 ·
I maintainer di solito rispondono entro 1 giorno
-
feature request
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
I maintainer di solito rispondono entro 2 giorni