Skip to content
This repository has been archived by the owner on Jan 28, 2021. It is now read-only.

Cancel creating an index by DROP #343

Closed
kuba-- opened this issue Aug 31, 2018 · 1 comment
Closed

Cancel creating an index by DROP #343

kuba-- opened this issue Aug 31, 2018 · 1 comment
Assignees
@kuba--
Labels
enhancement New feature or request proposal proposal for new additions or changes

Comments

@kuba--
Copy link
Contributor

kuba-- commented Aug 31, 2018 •
edited
Loading

Right now, when index is creating we cannot stop it. It would be good to have an option to cancel this operation. From API (gitbase) point of view we can reuse DROP statement.
When you try to DROP INDEX and index is in progress the operation will be canceled.
@kuba-- kuba-- added enhancement New feature or request proposal proposal for new additions or changes labels Aug 31, 2018
@eiso
Copy link
Member

eiso commented Aug 31, 2018

Just dropping in to say that I love this suggestion!

@kuba-- kuba-- self-assigned this Sep 6, 2018
@kuba-- kuba-- mentioned this issue Sep 6, 2018
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@kuba-- kuba--

Labels
enhancement New feature or request proposal proposal for new additions or changes
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@eiso @kuba--